diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2008-11-24 21:14:11 +0100 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2008-11-24 21:14:11 +0100 |
| commit | 25613bdc3eebd049f7636cf24c225f048b1205fc (patch) | |
| tree | 60e0d7053ebaf9172c29770a5df1c66c81a2be77 /portato/gui/templates | |
| parent | 2d7c67c144221b98fb9fa6618953c58e9e190477 (diff) | |
| download | portato-25613bdc3eebd049f7636cf24c225f048b1205fc.tar.gz portato-25613bdc3eebd049f7636cf24c225f048b1205fc.tar.bz2 portato-25613bdc3eebd049f7636cf24c225f048b1205fc.zip | |
some more 5px paddings in the preferences
Diffstat (limited to '')
| -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> |