From 627201d5a0e30f6617c735d2e85a71833394db8f Mon Sep 17 00:00:00 2001 From: raveit65 Date: Sat, 16 May 2015 22:09:32 +0200 Subject: GTK3: remove the top and bottom margin from GTKToggleButton in statusbar - this makes the statusbar smaller and follows GTK2 style --- pluma/pluma-statusbar.c | 5 +++++ 1 file changed, 5 insertions(+) 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 ()); -- cgit v1.2.1