Make delimiter icons a bit smaller

This commit is contained in:
Juergen Spitzmueller 2021-02-10 11:40:56 +01:00
parent b1ae981c1d
commit 65f96abfec

View File

@ -231,7 +231,7 @@ GuiDelimiter::GuiDelimiter(GuiView & lv)
initMathSymbols();
QSize icon_size(32, 32);
QSize icon_size(26, 26);
// we calculate the appropriate width to fit 4 icons in a row
leftLW->setMinimumWidth((4 * (icon_size.width() + (2 * leftLW->spacing())))