From 25613bdc3eebd049f7636cf24c225f048b1205fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Mon, 24 Nov 2008 21:14:11 +0100
Subject: some more 5px paddings in the preferences

---
 portato/gui/templates/PreferenceWindow.glade | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'portato')

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>
-- 
cgit v1.2.3