diff options
| author | Felix Riemann <[email protected]> | 2015-03-12 19:26:20 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-08-01 12:20:45 +0200 |
| commit | 6aac9e3662ad806ae6ede73e502209961fac04c7 (patch) | |
| tree | 895483d96191eea4c0c617a3c5c3bb8715dea72a | |
| parent | 6319bb340d24a6e0c99b58efa825054374f573f0 (diff) | |
| download | eom-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
| -rw-r--r-- | src/eom-sidebar.c | 2 |
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); |