diff options
| author | raveit65 <[email protected]> | 2015-05-16 22:09:32 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2015-05-16 22:09:32 +0200 |
| commit | 627201d5a0e30f6617c735d2e85a71833394db8f (patch) | |
| tree | 41ef016f6709f0d3cc89fdeb3eb8545d841cf3f6 | |
| parent | e1b2a4e298702f28a9d22b5692f9f19e71513756 (diff) | |
| download | pluma-627201d5a0e30f6617c735d2e85a71833394db8f.tar.bz2 pluma-627201d5a0e30f6617c735d2e85a71833394db8f.tar.xz | |
GTK3: remove the top and bottom margin from GTKToggleButton in statusbar
- this makes the statusbar smaller and follows GTK2 style
| -rw-r--r-- | pluma/pluma-statusbar.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pluma/pluma-statusbar.c b/pluma/pluma-statusbar.c index 7e134005..f1a0fd54 100644 --- a/pluma/pluma-statusbar.c +++ b/pluma/pluma-statusbar.c @@ -110,6 +110,11 @@ pluma_statusbar_init (PlumaStatusbar *statusbar) statusbar->priv = PLUMA_STATUSBAR_GET_PRIVATE (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->priv->overwrite_mode_label = gtk_label_new (NULL); gtk_label_set_width_chars (GTK_LABEL (statusbar->priv->overwrite_mode_label), get_overwrite_mode_length ()); |