diff --git a/plugins/gtkgui/gtkgui.glade b/plugins/gtkgui/gtkgui.glade index c9fe47b4826444b1003ea6ffb3be7085a487d7b6..8c325f6da4aa16c29966ee5be30b0b1c898f89b4 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>