From b57f5851097b64be43ddd5745662ad977c4e5965 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Thu, 10 Jan 2013 13:19:14 +0100
Subject: [PATCH] GuiSymbols: Use a grid with appropriat size

---
 src/frontends/qt4/GuiSymbols.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/frontends/qt4/GuiSymbols.cpp b/src/frontends/qt4/GuiSymbols.cpp
index 7a6566202f..2fb1b3f170 100644
--- 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_);
 }
 
-- 
2.39.2