diff --git a/Fltk/GUI.cpp b/Fltk/GUI.cpp index 4808394e753daf8e7d78319c521771c1af06d89b..193011e9375dd81290d9a938a1689b142db8e78d 100644 --- a/Fltk/GUI.cpp +++ b/Fltk/GUI.cpp @@ -1,4 +1,4 @@ -// $Id: GUI.cpp,v 1.617 2007-05-23 21:58:48 geuzaine Exp $ +// $Id: GUI.cpp,v 1.618 2007-05-23 22:05:17 geuzaine Exp $ // // Copyright (C) 1997-2007 C. Geuzaine, J.-F. Remacle // @@ -1342,7 +1342,7 @@ void gmsh_forward(Fl_Color c) fl_color(c); bl; vv(-0.6,0.8); vv(0.2,0.0); vv(-0.6,-0.8); el; fl_begin_line(); - vv(-0.2,0.33); vv(-0.2,0.8); vv(0.6,0.0); vv(-0.2,-0.8); vv(-0.2,-0.33); + vv(-0.2,0.37); vv(-0.2,0.8); vv(0.6,0.0); vv(-0.2,-0.8); vv(-0.2,-0.37); fl_end_line(); }