GuiSymbols: Use a grid with appropriat size

diff --git a/src/frontends/qt4/GuiSymbols.cpp b/src/frontends/qt4/GuiSymbols.cpp
index 7a6566202f0347f474eb84dc190cd737e8e658e4..2fb1b3f170c2ade70bd4693c710d4d0c1d1fe200 100644 (file)
--- a/src/frontends/qt4/GuiSymbols.cpp
+++ b/src/frontends/qt4/GuiSymbols.cpp
@@ -280,6 +280,8 @@ GuiSymbols::GuiSymbols(GuiView & lv)
        int size = font.pointSize() + 3;
        font.setPointSize(size);
        symbolsLW->setFont(font);
+       QFontMetrics fm(font);
+       symbolsLW->setGridSize(QSize(fm.maxWidth() + 2, fm.height() + 2));
        symbolsLW->setModel(model_);
 }