From 6e527995501d053958a752c7c0acae5251e3c89d Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 19 Nov 2012 19:00:26 +0000
Subject: [PATCH] tweak

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

diff --git a/Fltk/graphicWindow.cpp b/Fltk/graphicWindow.cpp
index 39a1830d56..4823f9ae64 100644
--- a/Fltk/graphicWindow.cpp
+++ b/Fltk/graphicWindow.cpp
@@ -2842,7 +2842,7 @@ graphicWindow::graphicWindow(bool main, int numTiles, bool detachedMenu)
 
   x += 4;
   _label = new Fl_Progress(x, mh + glheight + mheight + 2, width - x, sht);
-  _label->box(FL_FLAT_BOX);
+  _label->box(FL_THIN_DOWN_BOX);
   _label->align(FL_ALIGN_LEFT | FL_ALIGN_INSIDE | FL_ALIGN_CLIP);
   _label->color(FL_BACKGROUND_COLOR, FL_DARK2); // FL_DARK_GREEN
 
-- 
GitLab