]> git.lyx.org Git - features.git/commit
GuiSymbols: Improve the tooltip
authorGuillaume Munch <gm@lyx.org>
Sat, 3 Dec 2016 22:35:15 +0000 (23:35 +0100)
committerGuillaume Munch <gm@lyx.org>
Sat, 3 Dec 2016 22:35:15 +0000 (23:35 +0100)
commit6f07721187b8a3bc4ea9a9eb632b2f2b11fa0791
tree05d12c835df2517e15ed221d1fbfad397ee388a3
parent851ed60e49233f12138f2a8a5bc737dd8edc1b3d
GuiSymbols: Improve the tooltip
src/frontends/qt4/GuiSymbols.cpp