From a1f7e8751c2987896a89210cb0b82d6a5531baca Mon Sep 17 00:00:00 2001
From: Yann Leboulanger <asterix@lagaule.org>
Date: Tue, 15 Mar 2005 20:30:54 +0000
Subject: [PATCH] no need to have a so large preference window

---
 plugins/gtkgui/gtkgui.glade | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/gtkgui/gtkgui.glade b/plugins/gtkgui/gtkgui.glade
index c9fe47b48..8c325f6da 100644
--- a/plugins/gtkgui/gtkgui.glade
+++ b/plugins/gtkgui/gtkgui.glade
@@ -2730,8 +2730,8 @@
 
 <widget class="GtkWindow" id="preferences_window">
   <property name="border_width">4</property>
-  <property name="width_request">544</property>
-  <property name="height_request">530</property>
+  <property name="width_request">500</property>
+  <property name="height_request">375</property>
   <property name="visible">True</property>
   <property name="title" translatable="yes">Preferences</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>