From 932d4f90e7a06a7092e5e0c614a4d320aa616423 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 24 Jan 2013 14:39:24 +0000
Subject: [PATCH] tweak

---
 Fltk/FlGui.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Fltk/FlGui.cpp b/Fltk/FlGui.cpp
index f093a227ac..e3e14d130e 100644
--- a/Fltk/FlGui.cpp
+++ b/Fltk/FlGui.cpp
@@ -98,7 +98,7 @@ FlGui::FlGui(int argc, char **argv)
 
   // add new box types used in graphic window (dx dy dw dh)
   Fl::set_boxtype(GMSH_SIMPLE_RIGHT_BOX, simple_right_box_draw, 0, 0, 1, 0);
-  Fl::set_boxtype(GMSH_SIMPLE_TOP_BOX, simple_top_box_draw, 0, 1, 0, 0);
+  Fl::set_boxtype(GMSH_SIMPLE_TOP_BOX, simple_top_box_draw, 0, 1, 0, 1);
 
   // add global shortcuts
   Fl::add_handler(globalShortcut);
-- 
GitLab