# HG changeset patch
# User nemo
# Date 1145034678 25200
# Node ID 26faaefca088a5e61d7d2c5f1627e132934a4a45
# Parent  54b23650fac1271a7890654c2e661993f9ebd089
[svn] For Joker, adds some padding around the buttons

diff -r 54b23650fac1 -r 26faaefca088 Plugins/Input/modplug/gui/interface.cpp
--- a/Plugins/Input/modplug/gui/interface.cpp	Thu Apr 13 08:32:17 2006 -0700
+++ b/Plugins/Input/modplug/gui/interface.cpp	Fri Apr 14 10:11:18 2006 -0700
@@ -117,6 +117,7 @@
   gtk_window_set_policy (GTK_WINDOW (Config), FALSE, FALSE, FALSE);
 
   vbox2 = gtk_vbox_new (FALSE, 0);
+  gtk_container_set_border_width(GTK_CONTAINER(vbox2),5);
   gtk_widget_ref (vbox2);
   gtk_object_set_data_full (GTK_OBJECT (Config), "vbox2", vbox2,
                             (GtkDestroyNotify) gtk_widget_unref);
@@ -128,8 +129,8 @@
   gtk_object_set_data_full (GTK_OBJECT (Config), "notebook1", notebook1,
                             (GtkDestroyNotify) gtk_widget_unref);
   gtk_widget_show (notebook1);
-  gtk_box_pack_start (GTK_BOX (vbox2), notebook1, TRUE, TRUE, 0);
-  gtk_container_set_border_width (GTK_CONTAINER (notebook1), 6);
+  gtk_box_pack_start (GTK_BOX (vbox2), notebook1, TRUE, TRUE, 5);
+  gtk_container_set_border_width (GTK_CONTAINER (notebook1), 0);
 
   vbox3 = gtk_vbox_new (FALSE, 0);
   gtk_widget_ref (vbox3);
@@ -710,7 +711,7 @@
   gtk_widget_show (hbuttonbox2);
   gtk_box_pack_start (GTK_BOX (vbox2), hbuttonbox2, TRUE, TRUE, 0);
   gtk_button_box_set_layout (GTK_BUTTON_BOX (hbuttonbox2), GTK_BUTTONBOX_END);
-  gtk_button_box_set_spacing (GTK_BUTTON_BOX (hbuttonbox2), 0);
+  gtk_button_box_set_spacing (GTK_BUTTON_BOX (hbuttonbox2), 5);
 
   config_ok = gtk_button_new_with_label (_("OK"));
   gtk_widget_ref (config_ok);