From 6aceb3558aa40e9af6731010b90f8ae0f9d9c6cf Mon Sep 17 00:00:00 2001 From: Guillaume Munch Date: Tue, 10 May 2016 18:47:27 +0100 Subject: [PATCH] GuiDelimiters: display at least (and at most?) 4 columns --- src/frontends/qt4/GuiDelimiter.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/frontends/qt4/GuiDelimiter.cpp b/src/frontends/qt4/GuiDelimiter.cpp index 72e2296e4e..94154f5457 100644 --- 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 ListItems; ListItems list_items; // The last element is the empty one. -- 2.39.2