[gedit] statusbar: remove bottom and top margins
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] statusbar: remove bottom and top margins
- Date: Fri, 20 Sep 2013 10:54:45 +0000 (UTC)
commit 406a5bb2462ee364a4ffd7217e554d08611d97bb
Author: Ignacio Casal Quinteiro <ignacio casal nice-software com>
Date: Fri Sep 20 12:54:10 2013 +0200
statusbar: remove bottom and top margins
It seems that gtk+ changed the defaults breaking our style
gedit/gedit-statusbar.c | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-statusbar.c b/gedit/gedit-statusbar.c
index 4254481..e89b49e 100644
--- a/gedit/gedit-statusbar.c
+++ b/gedit/gedit-statusbar.c
@@ -104,6 +104,9 @@ gedit_statusbar_init (GeditStatusbar *statusbar)
statusbar->priv = gedit_statusbar_get_instance_private (statusbar);
+ gtk_widget_set_margin_top (GTK_WIDGET (statusbar), 0);
+ gtk_widget_set_margin_bottom (GTK_WIDGET (statusbar), 0);
+
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 ());
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]