Commit 33a812a3 authored by Emilio Pozuelo Monfort's avatar Emilio Pozuelo Monfort
Browse files

Properly set the panel height

The other way doesn't work for some reason.
parent 9bc9fb51
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment