diff options
| author | Emilio Pozuelo Monfort <emilio.pozuelo@collabora.co.uk> | 2013-10-24 01:35:33 +0200 |
|---|---|---|
| committer | Emilio Pozuelo Monfort <emilio.pozuelo@collabora.co.uk> | 2013-10-24 01:51:21 +0200 |
| commit | 33a812a33d084a426eb662aa355b31d37c1babe8 (patch) | |
| tree | 469888cb1c6e6a0a479886c2b62a43a2adee4a5d | |
| parent | 9bc9fb5173f29b5a3ac5545209eedb4ada74e475 (diff) | |
| download | graynard-33a812a33d084a426eb662aa355b31d37c1babe8.tar.gz graynard-33a812a33d084a426eb662aa355b31d37c1babe8.zip | |
Properly set the panel height
The other way doesn't work for some reason.
| -rw-r--r-- | shell/gtk-shell.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |