[gedit] panel: do not show border

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 60fdea0cfbe4731f90a97fcff2eee67ae067a4b8
Author: Ignacio Casal Quinteiro <ignacio casal nice-software com>
Date:   Thu Oct 17 10:53:05 2013 +0200

    panel: do not show border

 gedit/gedit-panel.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-panel.c b/gedit/gedit-panel.c
index 7d46704..b7e4957 100644
--- a/gedit/gedit-panel.c
+++ b/gedit/gedit-panel.c
@@ -486,6 +486,8 @@ build_notebook_for_panel (GeditPanel *panel)
        /* Create the panel notebook */
        panel->priv->notebook = gtk_notebook_new ();
 
+       gtk_notebook_set_show_border (GTK_NOTEBOOK (panel->priv->notebook),
+                                     FALSE);
        gtk_notebook_set_tab_pos (GTK_NOTEBOOK (panel->priv->notebook),
                                  GTK_POS_BOTTOM);
        gtk_notebook_set_scrollable (GTK_NOTEBOOK (panel->priv->notebook),