From 1e1d38d625174ddf97d1e945635b58644d155834 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 14 Nov 2012 12:18:32 +0000
Subject: [PATCH] honor deltaFontSize in tree
---
Fltk/onelabGroup.cpp | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Fltk/onelabGroup.cpp b/Fltk/onelabGroup.cpp
index 9dd1856592..66bac771d7 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"
}
--
GitLab