diff options
Diffstat (limited to 'portato')
| -rw-r--r-- | portato/gui/templates/PreferenceWindow.glade | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/portato/gui/templates/PreferenceWindow.glade b/portato/gui/templates/PreferenceWindow.glade index 97d66fb..5fe6a46 100644 --- a/portato/gui/templates/PreferenceWindow.glade +++ b/portato/gui/templates/PreferenceWindow.glade @@ -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.5 on Mon Nov 24 20:58:50 2008 --> +<!--Generated with glade3 3.4.5 on Mon Nov 24 21:13:06 2008 --> <glade-interface> <widget class="GtkWindow" id="PreferenceWindow"> <property name="border_width">5</property> @@ -512,6 +512,8 @@ <widget class="GtkAlignment" id="alignment8"> <property name="visible">True</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="top_padding">5</property> + <property name="bottom_padding">5</property> <property name="left_padding">12</property> <child> <widget class="GtkVBox" id="vbox6"> @@ -618,6 +620,7 @@ <widget class="GtkAlignment" id="alignment9"> <property name="visible">True</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="top_padding">5</property> <property name="bottom_padding">5</property> <property name="left_padding">12</property> <property name="right_padding">5</property> @@ -715,6 +718,7 @@ <widget class="GtkAlignment" id="alignment10"> <property name="visible">True</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="top_padding">5</property> <property name="bottom_padding">5</property> <property name="left_padding">12</property> <property name="right_padding">5</property> @@ -806,6 +810,7 @@ <widget class="GtkAlignment" id="alignment7"> <property name="visible">True</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="top_padding">5</property> <property name="bottom_padding">5</property> <property name="left_padding">12</property> <property name="right_padding">5</property> |