From 5dbca563808b575a4b9980c57a03612ed5096ed3 Mon Sep 17 00:00:00 2001 From: Roland Singer Date: Fri, 1 Mar 2013 00:04:10 +0100 Subject: [PATCH] Improved a little the GUI interface: Added margins to button boxes... --- gui/manager.glade | 11 ++++++++++- gui/updater.glade | 7 ++++++- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/gui/manager.glade b/gui/manager.glade index b755f45..53d5eba 100644 --- a/gui/manager.glade +++ b/gui/manager.glade @@ -110,6 +110,8 @@ False + 5 + 5 True center-on-parent @@ -210,7 +212,9 @@ True False - 6 + 7 + 7 + 7 True end @@ -283,6 +287,8 @@ True False + 3 + 5 True @@ -530,6 +536,9 @@ True False + 5 + 5 + 2 5 True end diff --git a/gui/updater.glade b/gui/updater.glade index 1912381..8f65d8c 100644 --- a/gui/updater.glade +++ b/gui/updater.glade @@ -18,7 +18,10 @@ True True - 5 + 7 + 7 + 2 + 7 end @@ -78,6 +81,8 @@ True False + 7 + 7 10