From e628b7e714c9655587277cde3f9b42855f01d286 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 17 Aug 2006 19:45:54 +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 a69654b770..0cd138dbb2 100644
--- a/Fltk/GUI.cpp
+++ b/Fltk/GUI.cpp
@@ -1,4 +1,4 @@
-// $Id: GUI.cpp,v 1.525 2006-08-17 18:40:13 geuzaine Exp $
+// $Id: GUI.cpp,v 1.526 2006-08-17 19:45:54 geuzaine Exp $
 //
 // Copyright (C) 1997-2006 C. Geuzaine, J.-F. Remacle
 //
@@ -1671,7 +1671,7 @@ void GUI::reset_external_view_list()
 
 void GUI::create_option_window()
 {
-  int width = 39 * fontsize;
+  int width = 40 * fontsize;
   int height = 13 * BH + 5 * WB;
   int L = 105 + WB;
 
-- 
GitLab