EomSidebar: Increase margin at the sides of the sidebar

fxri · raveit65 · commit 6aac9e3662ad · 2018-08-01T12:20:45.000+02:00
https://bugzilla.gnome.org/show_bug.cgi?id=746105 origin commit: https://gitlab.gnome.org/GNOME/eog/commit/4afa1a3
diff --git 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);
