diff options
| author |  waker <wakeroid@gmail.com> | 2013-08-25 12:38:11 +0200 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2013-08-25 12:38:11 +0200 |
| commit | bca864bb74b383ed1e2e7ac021e4950c61bd3bc0 (patch) | |
| tree | 22af4e15aefec244bccbefd2530c82e9417451f7 /plugins/gtkui/interface.c | |
| parent | c626e968425dd21890f6edec31d802572ca7c75a (diff) | |
gtkui: fixed vbox spacing bugs in hotkeys prefs
Diffstat (limited to 'plugins/gtkui/interface.c')
| -rw-r--r-- | plugins/gtkui/interface.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/gtkui/interface.c b/plugins/gtkui/interface.c index 28446792..e8dc2e3b 100644 --- a/plugins/gtkui/interface.c +++ b/plugins/gtkui/interface.c @@ -2485,7 +2485,7 @@ create_prefwin (void) gtk_container_add (GTK_CONTAINER (notebook), vbox36); gtk_container_set_border_width (GTK_CONTAINER (vbox36), 12); - hbox119 = gtk_hbox_new (FALSE, 0); + hbox119 = gtk_hbox_new (FALSE, 8); gtk_widget_show (hbox119); gtk_box_pack_start (GTK_BOX (vbox36), hbox119, FALSE, FALSE, 0); @@ -2554,7 +2554,7 @@ create_prefwin (void) gtk_widget_show (hseparator6); gtk_box_pack_start (GTK_BOX (vbox36), hseparator6, FALSE, FALSE, 0); - hbox120 = gtk_hbox_new (FALSE, 0); + hbox120 = gtk_hbox_new (FALSE, 8); gtk_widget_show (hbox120); gtk_box_pack_start (GTK_BOX (vbox36), hbox120, FALSE, FALSE, 0); |