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

This commit is contained in:
Guillaume Munch 2016-05-10 18:47:27 +01:00
parent ef8b8ebcfd
commit 6aceb3558a

View File

@ -188,6 +188,9 @@ GuiDelimiter::GuiDelimiter(GuiView & lv)
QFontMetrics fm(frontend::getFont(lyxfont)); QFontMetrics fm(frontend::getFont(lyxfont));
QSize item_size(fm.maxWidth(), fm.height() + 8); 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; typedef map<char_type, QListWidgetItem *> ListItems;
ListItems list_items; ListItems list_items;
// The last element is the empty one. // The last element is the empty one.