fix saved height of graphic win with menu bar

Fltk/FlGui.cpp

@@ -796,8 +796,8 @@ void FlGui::storeCurrentWindowsInfo()
 {
   CTX::instance()->glPosition[0] = graph[0]->win->x();
   CTX::instance()->glPosition[1] = graph[0]->win->y();
-  CTX::instance()->glSize[0] = graph[0]->win->w();
-  CTX::instance()->glSize[1] = (graph[0]->win->h() - graph[0]->bottom->h());
+  CTX::instance()->glSize[0] = graph[0]->getGlWidth();
+  CTX::instance()->glSize[1] = graph[0]->getGlHeight();
   CTX::instance()->msgSize = graph[0]->getMessageHeight();
   CTX::instance()->menuSize = graph[0]->getMenuWidth();
   CTX::instance()->optPosition[0] = options->win->x();

Fltk/graphicWindow.cpp

@@ -3026,6 +3026,18 @@ void graphicWindow::resizeMenu(int dh)
   onelab->redraw();
 }
 
+int graphicWindow::getGlHeight()
+{
+  int h = win->h() - bottom->h(); // yes, ignore message browser
+  if(bar) h -= bar->h();
+  return h;
+}
+
+int graphicWindow::getGlWidth()
+{
+  return win->w();
+}
+
 void graphicWindow::showMenu()
 {
   if(!onelab || !win->shown()) return;

Fltk/graphicWindow.h

@@ -46,6 +46,8 @@ class graphicWindow{
   void setTitle(std::string str);
   void setAutoScroll(bool val){ _autoScrollMessages = val; }
   bool getAutoScroll(){ return _autoScrollMessages; }
+  int getGlHeight();
+  int getGlWidth();
   int getMessageHeight();
   void split(openglWindow *g, char how);
   void setAnimButtons(int mode);