diff options
| author | monsta <[email protected]> | 2015-05-19 13:53:51 +0300 |
|---|---|---|
| committer | monsta <[email protected]> | 2015-05-19 13:53:51 +0300 |
| commit | 98158880047235a60bd928b44144ea9a3f97b23e (patch) | |
| tree | 27be149e1a2ddead6a37435f23138fbd5ef00f76 | |
| parent | b507f88175ddccd6c4dd17261e92426ac24d17a4 (diff) | |
| parent | 60449bc32bb7671abc5a090287018e4b04bfe507 (diff) | |
| download | caja-98158880047235a60bd928b44144ea9a3f97b23e.tar.bz2 caja-98158880047235a60bd928b44144ea9a3f97b23e.tar.xz | |
Merge pull request #419 from NiceandGently/master
GTK3: set top and bottom margin of statusbar to zero
| -rw-r--r-- | src/caja-window.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/caja-window.c b/src/caja-window.c index 1c0a01c3..c460ae98 100644 --- a/src/caja-window.c +++ b/src/caja-window.c @@ -166,6 +166,13 @@ caja_window_init (CajaWindow *window) statusbar = gtk_statusbar_new (); gtk_widget_set_name (statusbar, "statusbar-noborder"); + +/* set margin to zero to 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 + window->details->statusbar = statusbar; window->details->help_message_cid = gtk_statusbar_get_context_id (GTK_STATUSBAR (statusbar), "help_message"); |