summaryrefslogtreecommitdiff
path: root/portato/gui/templates
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2008-11-24 21:14:11 +0100
committerRené 'Necoro' Neumann <necoro@necoro.net>2008-11-24 21:14:11 +0100
commit25613bdc3eebd049f7636cf24c225f048b1205fc (patch)
tree60e0d7053ebaf9172c29770a5df1c66c81a2be77 /portato/gui/templates
parent2d7c67c144221b98fb9fa6618953c58e9e190477 (diff)
downloadportato-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.glade7
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>