GuiDelimiters: display at least (and at most?) 4 columns

diff --git a/src/frontends/qt4/GuiDelimiter.cpp b/src/frontends/qt4/GuiDelimiter.cpp
index 72e2296e4e32c66f453f2625a950e9814ac28d50..94154f54578e37d1d5f24adde8f798effa9d8380 100644 (file)
--- a/src/frontends/qt4/GuiDelimiter.cpp
+++ b/src/frontends/qt4/GuiDelimiter.cpp
@@ -188,6 +188,9 @@ GuiDelimiter::GuiDelimiter(GuiView & lv)
        QFontMetrics fm(frontend::getFont(lyxfont));
        QSize item_size(fm.maxWidth(), fm.height() + 8);
 
+       leftLW->setMinimumWidth(5 * item_size.width());
+       rightLW->setMinimumWidth(5 * item_size.width());
+
        typedef map<char_type, QListWidgetItem *> ListItems;
        ListItems list_items;
        // The last element is the empty one.