Adjust Preferences dialog height a bit.

This commit is contained in:
Andrew Resch 2008-01-24 01:59:36 +00:00
parent 10cced15a3
commit 5ab95814e7

View File

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
<!--Generated with glade3 3.4.1 on Wed Jan 23 16:59:15 2008 -->
<!--Generated with glade3 3.4.1 on Wed Jan 23 17:58:38 2008 -->
<glade-interface>
<widget class="GtkDialog" id="pref_dialog">
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
@ -8,7 +8,7 @@
<property name="title" translatable="yes">Preferences</property>
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
<property name="default_width">510</property>
<property name="default_height">525</property>
<property name="default_height">530</property>
<property name="destroy_with_parent">True</property>
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
<property name="has_separator">False</property>