From 1b2dca1c3bb61289bef0a942c69bce90f356adeb Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 14 Nov 2012 11:14:15 +0000
Subject: [PATCH] oops

---
 Fltk/graphicWindow.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Fltk/graphicWindow.cpp b/Fltk/graphicWindow.cpp
index 7c329c5201..e25f2418f2 100644
--- a/Fltk/graphicWindow.cpp
+++ b/Fltk/graphicWindow.cpp
@@ -2901,8 +2901,8 @@ graphicWindow::graphicWindow(bool main, int numTiles, bool detachedMenu)
   tile->position(0, mh + glheight, 0, mh + CTX::instance()->glSize[1]);
   _savedMessageHeight = CTX::instance()->msgSize;
 
-  if(CTX::instance()->menuSize[0] < onelab->getMinWindowWidth())
-    CTX::instance()->menuSize[0] = onelab->getMinWindowWidth();
+  int minw = 3 * BB/2 + 4 * WB;
+  if(CTX::instance()->menuSize[0] < minw) CTX::instance()->menuSize[0] = minw;
   tile->position(twidth, 0, CTX::instance()->menuSize[0], 0);
   _savedMenuWidth = CTX::instance()->menuSize[0];
 
-- 
GitLab