From d3a43f988162e06c4549eaef565a5118fd39eb41 Mon Sep 17 00:00:00 2001 From: Christophe Geuzaine <cgeuzaine@ulg.ac.be> Date: Thu, 3 May 2001 08:47:52 +0000 Subject: [PATCH] *** empty log message *** --- Fltk/GUI.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Fltk/GUI.cpp b/Fltk/GUI.cpp index b8f7edbd94..dcbe8510f7 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); -- GitLab