diff options
| author | Emilio Pozuelo Monfort <emilio.pozuelo@collabora.co.uk> | 2013-10-26 02:07:08 +0200 |
|---|---|---|
| committer | Emilio Pozuelo Monfort <emilio.pozuelo@collabora.co.uk> | 2013-10-26 02:07:08 +0200 |
| commit | 0b3669f00e5278cb53a250dd0a15eedb019d0493 (patch) | |
| tree | d86b4a03e55f911690acf5b3263320d62992b025 /shell | |
| parent | ae2947df7144233e4c9bb18f6951d0657070b9fc (diff) | |
| download | graynard-0b3669f00e5278cb53a250dd0a15eedb019d0493.tar.gz graynard-0b3669f00e5278cb53a250dd0a15eedb019d0493.zip | |
Fix bottom of the grid getting cut
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/gtk-shell.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/shell/gtk-shell.c b/shell/gtk-shell.c index 6f2bdef..4467095 100644 --- a/shell/gtk-shell.c +++ b/shell/gtk-shell.c @@ -42,8 +42,15 @@ 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); + width, height - 28); gtk_window_resize (GTK_WINDOW (desktop->panel->window), width, 16); } |
