diff options
| author | Jonny Lamb <jonny.lamb@collabora.co.uk> | 2014-03-04 20:28:29 +0100 |
|---|---|---|
| committer | Jonny Lamb <jonny.lamb@collabora.co.uk> | 2014-03-04 20:28:29 +0100 |
| commit | f49d4231e5681fe28378c4f3dcf445814eeaabc6 (patch) | |
| tree | f05bf6f68d4f7405884fb60a4ecb8c5e6c62b223 /shell/gtk-shell.c | |
| parent | d7538c85af3344a7587c3a51b17da60b8e88d79d (diff) | |
| download | graynard-f49d4231e5681fe28378c4f3dcf445814eeaabc6.tar.gz graynard-f49d4231e5681fe28378c4f3dcf445814eeaabc6.zip | |
panel: move height ratio into header
Diffstat (limited to 'shell/gtk-shell.c')
| -rw-r--r-- | shell/gtk-shell.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/shell/gtk-shell.c b/shell/gtk-shell.c index e38abe9..36f059a 100644 --- a/shell/gtk-shell.c +++ b/shell/gtk-shell.c @@ -44,10 +44,6 @@ struct desktop { guint hide_panel_idle_id; }; -/* TODO: guessed from the mockups, it'd be nice to have this in stone - * somewhere. */ -#define PANEL_HEIGHT_RATIO 0.73 - static gboolean panel_window_enter_cb (GtkWidget *widget, GdkEventCrossing *event, struct desktop *desktop); @@ -91,7 +87,7 @@ desktop_shell_configure(void *data, width - 56, height); /* TODO: make this height a little nicer */ - window_height = height * PANEL_HEIGHT_RATIO; + window_height = height * WESTON_GTK_PANEL_HEIGHT_RATIO; gtk_window_resize (GTK_WINDOW (desktop->panel->window), WESTON_GTK_PANEL_WIDTH, window_height); |