diff options
| author | Jonny Lamb <jonny.lamb@collabora.co.uk> | 2014-02-17 18:06:03 +0100 |
|---|---|---|
| committer | Jonny Lamb <jonny.lamb@collabora.co.uk> | 2014-02-17 20:17:47 +0100 |
| commit | ab33ce6939718f258c2c99379c45f0542524fedc (patch) | |
| tree | 8515152b429488f9be6743599f344323e1b1ee30 /shell | |
| parent | 50a52832f87b30e008059b01b954e31c49984bbc (diff) | |
| download | graynard-ab33ce6939718f258c2c99379c45f0542524fedc.tar.gz graynard-ab33ce6939718f258c2c99379c45f0542524fedc.zip | |
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.
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/gtk-shell.c | 9 |
1 files changed, 1 insertions, 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; |