From 11e896334aea873017287733ab3c0f216939861f Mon Sep 17 00:00:00 2001 From: Thomas White Date: Tue, 25 Aug 2020 15:56:31 +0200 Subject: Widget spacing --- src/gui_backend_local.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/gui_backend_local.c') diff --git a/src/gui_backend_local.c b/src/gui_backend_local.c index b6d475cf..5e65b3c1 100644 --- a/src/gui_backend_local.c +++ b/src/gui_backend_local.c @@ -290,7 +290,7 @@ static GtkWidget *make_indexing_parameters_widget(void *opts_priv) GtkWidget *label; char tmp[64]; - vbox = gtk_box_new(GTK_ORIENTATION_VERTICAL, 0); + vbox = gtk_box_new(GTK_ORIENTATION_VERTICAL, 8); hbox = gtk_box_new(GTK_ORIENTATION_HORIZONTAL, 8); gtk_box_pack_start(GTK_BOX(vbox), GTK_WIDGET(hbox), -- cgit v1.2.3