[gedit] panel: more border to align with tabs

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 691be02750b34f6514420c4c29526bbc505c86ab
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Jan 24 19:48:06 2012 +0100

    panel: more border to align with tabs
    
    This box should probably have a name and be set by css from the theme

 gedit/gedit-panel.c |    7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)
---
diff --git a/gedit/gedit-panel.c b/gedit/gedit-panel.c
index 497405c..0157a9b 100644
--- a/gedit/gedit-panel.c
+++ b/gedit/gedit-panel.c
@@ -554,7 +554,7 @@ build_vertical_panel (GeditPanel *panel)
 
 	/* Create title hbox */
 	title_hbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 6);
-	gtk_container_set_border_width (GTK_CONTAINER (title_hbox), 5);
+	gtk_container_set_border_width (GTK_CONTAINER (title_hbox), 6);
 
 	gtk_box_pack_start (GTK_BOX (panel->priv->main_box), title_hbox,
 	                             FALSE, FALSE, 0);
@@ -566,9 +566,8 @@ build_vertical_panel (GeditPanel *panel)
 			    TRUE,
 			    0);
 
-	panel->priv->title_image =
-				gtk_image_new_from_stock (GTK_STOCK_FILE,
-							  GTK_ICON_SIZE_MENU);
+	panel->priv->title_image = gtk_image_new_from_stock (GTK_STOCK_FILE,
+	                                                     GTK_ICON_SIZE_MENU);
 	gtk_box_pack_start (GTK_BOX (icon_name_hbox),
 			    panel->priv->title_image,
 			    FALSE,