diff options
author | Martin Wimpress <[email protected]> | 2015-05-20 22:40:16 +0100 |
---|---|---|
committer | Martin Wimpress <[email protected]> | 2015-05-20 22:40:16 +0100 |
commit | 67865486d64926b4d802ff03709b115b7e79fb81 (patch) | |
tree | 1375cab9bbdbdba55c1c9f97bc3ccd1320c99635 | |
parent | 216022509f429ab57f51fe9bcca5fdd09095bde8 (diff) | |
parent | c796ab04c62003ba0ece7af5bd4629ab7d1b55c8 (diff) | |
download | engrampa-67865486d64926b4d802ff03709b115b7e79fb81.tar.bz2 engrampa-67865486d64926b4d802ff03709b115b7e79fb81.tar.xz |
Merge pull request #81 from NiceandGently/master
GTK3: set top and bottom margin of statusbar to zero
-rw-r--r-- | src/fr-window.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/fr-window.c b/src/fr-window.c index 5c4c925..b1cc1b8 100644 --- a/src/fr-window.c +++ b/src/fr-window.c @@ -5983,6 +5983,13 @@ fr_window_construct (FrWindow *window) window->priv->progress_cid = gtk_statusbar_get_context_id (GTK_STATUSBAR (window->priv->statusbar), "progress"); statusbar = GTK_STATUSBAR (window->priv->statusbar); + + /*reduce size of statusbar */ +#if GTK_CHECK_VERSION (3, 0, 0) + gtk_widget_set_margin_top (GTK_WIDGET (statusbar), 0); + gtk_widget_set_margin_bottom (GTK_WIDGET (statusbar), 0); +#endif + statusbar_box = gtk_statusbar_get_message_area (statusbar); gtk_box_set_homogeneous (GTK_BOX (statusbar_box), FALSE); gtk_box_set_spacing (GTK_BOX (statusbar_box), 4); |