From 6aac9e3662ad806ae6ede73e502209961fac04c7 Mon Sep 17 00:00:00 2001 From: Felix Riemann Date: Thu, 12 Mar 2015 19:26:20 +0100 Subject: 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 --- src/eom-sidebar.c | 2 ++ 1 file changed, 2 insertions(+) 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); -- cgit v1.2.1