diff --git a/Fltk/GUI.cpp b/Fltk/GUI.cpp index b8f7edbd94bbc0f98d61c666f5b38d7e1fd6b39a..dcbe8510f7a5d1ee7751b9ec05e00996a9d416a9 100644 --- a/Fltk/GUI.cpp +++ b/Fltk/GUI.cpp @@ -1,4 +1,4 @@ -// $Id: GUI.cpp,v 1.64 2001-05-03 00:09:42 geuzaine Exp $ +// $Id: GUI.cpp,v 1.65 2001-05-03 08:47:52 geuzaine Exp $ // To make the interface as visually consistent as possible, please: // - use the BH, BW, WB, IW values for button heights/widths, window borders, etc. @@ -2347,7 +2347,7 @@ void GUI::create_getdp_window(){ if(!init_getdp_window){ init_getdp_window = 1 ; - int width = 25*CTX.fontsize; + int width = 24*CTX.fontsize; int height = 5*WB+9*BH + WB; getdp_window = new Fl_Window(width,height);