From 81b68c06605f21216271b3aad4a165a5738827ee Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 3 Feb 2012 12:44:58 +0000
Subject: [PATCH] fix ghost effect on windows

---
 Fltk/onelabWindow.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Fltk/onelabWindow.cpp b/Fltk/onelabWindow.cpp
index ea5e0cb48e..28e8830246 100644
--- a/Fltk/onelabWindow.cpp
+++ b/Fltk/onelabWindow.cpp
@@ -958,6 +958,8 @@ void onelabWindow::rebuildTree()
     free(_treeStrings[i]);
   _treeStrings.clear();
 
+  FlGui::check(); // necessary e.g. on windows to avoid "ghosting"
+
   std::vector<onelab::number> numbers;
   onelab::server::instance()->get(numbers);
   for(unsigned int i = 0; i < numbers.size(); i++){
-- 
GitLab