[latexila/gnome-3-14] Side panel: small space on the right

[Sébastien Wilmet <swilmet src gnome org>]

commit bdab2be3d800bdd44a9153980314ccae995d2295
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sun Jan 18 18:36:26 2015 +0100

    Side panel: small space on the right
    
    Because the GtkPaned handle is no longer drawn by GTK+.
    
    Conflicts:
        src/side_panel.vala
        src/symbols_view.vala

 src/file_browser.vala |    1 +
 src/side_panel.vala   |    1 +
 src/symbols_view.vala |    2 ++
 3 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/file_browser.vala b/src/file_browser.vala
index 29e0e6e..ced95b6 100644
--- a/src/file_browser.vala
+++ b/src/file_browser.vala
@@ -91,6 +91,7 @@ public class FileBrowser : Grid
         );
 
         _combo_box = new ComboBox.with_model (_parent_dir_store);
+        _combo_box.margin_end = 3;
         add (_combo_box);
 
         // pixbuf
diff --git a/src/side_panel.vala b/src/side_panel.vala
index 970ff3c..e91668d 100644
--- a/src/side_panel.vala
+++ b/src/side_panel.vala
@@ -84,6 +84,7 @@ public class SidePanel : Grid
         close_button.focus_on_click = false;
         close_button.tooltip_text = _("Hide panel");
         close_button.add (new Image.from_stock (Stock.CLOSE, IconSize.MENU));
+        close_button.margin_end = 3;
 
         close_button.clicked.connect (() => this.hide ());
 
diff --git a/src/symbols_view.vala b/src/symbols_view.vala
index 10d941c..54556ca 100644
--- a/src/symbols_view.vala
+++ b/src/symbols_view.vala
@@ -62,6 +62,7 @@ public class SymbolsView : Grid
 
         _combo_box = new ComboBox.with_model (categories_model);
         _combo_box.hexpand = true;
+        _combo_box.margin_end = 3;
 
         CellRendererPixbuf pixbuf_renderer = new CellRendererPixbuf ();
         _combo_box.pack_start (pixbuf_renderer, false);
@@ -154,6 +155,7 @@ public class SymbolsView : Grid
     private void create_clear_button ()
     {
         _clear_button = new Button.from_stock (Stock.CLEAR);
+        _clear_button.margin_end = 3;
 
         _clear_button.clicked.connect (() =>
         {