diff --git a/Fltk/onelabGroup.cpp b/Fltk/onelabGroup.cpp index 9dd18565928d497b1a334494ab43fc54d90bad01..66bac771d792e4fddc4d72ba82ca3d819a9c89dd 100644 --- a/Fltk/onelabGroup.cpp +++ b/Fltk/onelabGroup.cpp @@ -1220,6 +1220,8 @@ Fl_Widget *onelabGroup::_addParameterWidget(onelab::function &p, Fl_Tree_Item *n void onelabGroup::rebuildTree() { + FL_NORMAL_SIZE -= CTX::instance()->deltaFontSize; + _computeWidths(); std::set<std::string> closed = _getClosedGmshMenus(); @@ -1295,6 +1297,8 @@ void onelabGroup::rebuildTree() _tree->redraw(); + FL_NORMAL_SIZE += CTX::instance()->deltaFontSize; + FlGui::check(); // necessary e.g. on windows to avoid "ghosting" }