summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorFelix Riemann <[email protected]>2015-03-12 19:26:20 +0100
committerraveit65 <[email protected]>2018-08-01 12:20:45 +0200
commit6aac9e3662ad806ae6ede73e502209961fac04c7 (patch)
tree895483d96191eea4c0c617a3c5c3bb8715dea72a /src
parent6319bb340d24a6e0c99b58efa825054374f573f0 (diff)
downloadeom-6aac9e3662ad806ae6ede73e502209961fac04c7.tar.bz2
eom-6aac9e3662ad806ae6ede73e502209961fac04c7.tar.xz
EomSidebar: Increase margin at the sides of the sidebar
https://bugzilla.gnome.org/show_bug.cgi?id=746105 origin commit: https://gitlab.gnome.org/GNOME/eog/commit/4afa1a3
Diffstat (limited to 'src')
-rw-r--r--src/eom-sidebar.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/eom-sidebar.c b/src/eom-sidebar.c
index 51dd1e4..c71733b 100644
--- a/src/eom-sidebar.c
+++ b/src/eom-sidebar.c
@@ -438,6 +438,8 @@ eom_sidebar_init (EomSidebar *eom_sidebar)
gtk_notebook_set_show_border (GTK_NOTEBOOK (eom_sidebar->priv->notebook), FALSE);
gtk_notebook_set_show_tabs (GTK_NOTEBOOK (eom_sidebar->priv->notebook), FALSE);
+ gtk_widget_set_margin_start (eom_sidebar->priv->notebook, 6);
+ gtk_widget_set_margin_end (eom_sidebar->priv->notebook, 6);
gtk_box_pack_start (GTK_BOX (eom_sidebar), eom_sidebar->priv->notebook,
TRUE, TRUE, 0);