From ab33ce6939718f258c2c99379c45f0542524fedc Mon Sep 17 00:00:00 2001 From: Jonny Lamb Date: Mon, 17 Feb 2014 18:06:03 +0100 Subject: gtk-shell: resize the app launcher grid This will get a redesign soon but until it comes let's at least make the grid usable. --- shell/gtk-shell.c | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/shell/gtk-shell.c b/shell/gtk-shell.c index 76332b3..278dab6 100644 --- a/shell/gtk-shell.c +++ b/shell/gtk-shell.c @@ -85,15 +85,8 @@ desktop_shell_configure(void *data, gtk_widget_set_size_request (desktop->background->window, width, height); - /* Not sure where this '28' comes from, but it seems to work... - * The issue here is that the bottom of the grid (after scrolling - * all the way down) gets cut. That is because the window is a - * bit bigger than it should, but logic tells me we should only - * substract 16px from the height (those we're giving to the panel), - * but maybe I'm missing something... - */ gtk_widget_set_size_request (desktop->launcher_grid->window, - width, height - 28); + width - 56, height); /* TODO: make this height a little nicer */ window_height = height * PANEL_HEIGHT_RATIO; -- cgit v1.3.1