[evince] sidebar: Add margin to some areas in sidebar

[Carlos Garcia Campos <carlosgc src gnome org>]

commit 1c3f3fb6c6ee0787ad2a8de620f2f0b6319fac5f
Author: Trinh Anh Ngoc <atw1990 gmail com>
Date:   Sun Nov 23 22:07:54 2014 +0700

    sidebar: Add margin to some areas in sidebar
    
    https://bugzilla.gnome.org/show_bug.cgi?id=739836

 shell/ev-sidebar-annotations.c |    6 ++++++
 shell/ev-sidebar-bookmarks.c   |    6 ++++--
 shell/ev-sidebar.c             |    6 +++++-
 3 files changed, 15 insertions(+), 3 deletions(-)
---
diff --git a/shell/ev-sidebar-annotations.c b/shell/ev-sidebar-annotations.c
index 79bfbf3..de6b85a 100644
--- a/shell/ev-sidebar-annotations.c
+++ b/shell/ev-sidebar-annotations.c
@@ -130,6 +130,7 @@ ev_sidebar_annotations_add_annots_list (EvSidebarAnnotations *ev_annots)
        /* Create tree view */
        loading_model = ev_sidebar_annotations_create_simple_model (_("Loading…"));
        ev_annots->priv->tree_view = gtk_tree_view_new_with_model (loading_model);
+       gtk_widget_set_margin_top (ev_annots->priv->tree_view, 2);
        g_object_unref (loading_model);
 
        gtk_tree_view_set_headers_visible (GTK_TREE_VIEW (ev_annots->priv->tree_view),
@@ -196,6 +197,11 @@ ev_sidebar_annotations_add_annots_palette (EvSidebarAnnotations *ev_annots)
                                             GTK_SHADOW_IN);
 
        ev_annots->priv->palette = gtk_tool_palette_new ();
+       gtk_widget_set_margin_top (ev_annots->priv->palette, 2);
+       gtk_widget_set_margin_bottom (ev_annots->priv->palette, 2);
+       gtk_widget_set_margin_start (ev_annots->priv->palette, 2);
+       gtk_widget_set_margin_end (ev_annots->priv->palette, 2);
+
        group = gtk_tool_item_group_new (_("Annotations"));
        gtk_container_add (GTK_CONTAINER (ev_annots->priv->palette), group);
 
diff --git a/shell/ev-sidebar-bookmarks.c b/shell/ev-sidebar-bookmarks.c
index ac4cf7b..8bcea00 100644
--- a/shell/ev-sidebar-bookmarks.c
+++ b/shell/ev-sidebar-bookmarks.c
@@ -410,8 +410,6 @@ ev_sidebar_bookmarks_init (EvSidebarBookmarks *sidebar_bookmarks)
                                                                EvSidebarBookmarksPrivate);
         priv = sidebar_bookmarks->priv;
 
-        gtk_box_set_spacing (GTK_BOX (sidebar_bookmarks), 6);
-
         swindow = gtk_scrolled_window_new (NULL, NULL);
         gtk_scrolled_window_set_shadow_type (GTK_SCROLLED_WINDOW (swindow),
                                              GTK_SHADOW_IN);
@@ -450,6 +448,10 @@ ev_sidebar_bookmarks_init (EvSidebarBookmarks *sidebar_bookmarks)
         gtk_widget_show (priv->tree_view);
 
         hbox = gtk_button_box_new (GTK_ORIENTATION_HORIZONTAL);
+        gtk_widget_set_margin_top (hbox, 2);
+        gtk_widget_set_margin_bottom (hbox, 2);
+        gtk_widget_set_margin_start (hbox, 2);
+        gtk_widget_set_margin_end (hbox, 2);
 
         priv->add_button = gtk_button_new_with_label (_("Add"));
         gtk_actionable_set_action_name (GTK_ACTIONABLE (priv->add_button),
diff --git a/shell/ev-sidebar.c b/shell/ev-sidebar.c
index c9f72c1..b3c6f96 100644
--- a/shell/ev-sidebar.c
+++ b/shell/ev-sidebar.c
@@ -348,7 +348,11 @@ ev_sidebar_init (EvSidebar *ev_sidebar)
                                            G_TYPE_INT);
 
        /* top option menu */
-       hbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
+       hbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 2);
+       gtk_widget_set_margin_top (hbox, 2);
+       gtk_widget_set_margin_bottom (hbox, 2);
+       gtk_widget_set_margin_start (hbox, 2);
+       gtk_widget_set_margin_end (hbox, 2);
        ev_sidebar->priv->hbox = hbox;
        gtk_box_pack_start (GTK_BOX (ev_sidebar), hbox, FALSE, FALSE, 0);
        gtk_widget_show (hbox);