From 33a812a33d084a426eb662aa355b31d37c1babe8 Mon Sep 17 00:00:00 2001 From: Emilio Pozuelo Monfort Date: Thu, 24 Oct 2013 01:35:33 +0200 Subject: Properly set the panel height The other way doesn't work for some reason. --- shell/gtk-shell.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'shell/gtk-shell.c') diff --git a/shell/gtk-shell.c b/shell/gtk-shell.c index 8a5d9e0..f0d7f4c 100644 --- a/shell/gtk-shell.c +++ b/shell/gtk-shell.c @@ -44,7 +44,7 @@ desktop_shell_configure(void *data, gtk_widget_set_size_request (desktop->launcher_grid->window, width, height); - gtk_widget_set_size_request (desktop->panel->window, width, 32); + gtk_window_resize (GTK_WINDOW (desktop->panel->window), width, 16); } static void -- cgit v1.3.1