[gedit] panel: remove title border and set a panel-title name so it can be managed by css

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 4c85ec2bc5b398c59e7237fccf7e54f175fc80d9
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Jan 24 19:55:16 2012 +0100

    panel: remove title border and set a panel-title name so it can be managed by css

 gedit/gedit-panel.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gedit/gedit-panel.c b/gedit/gedit-panel.c
index 0157a9b..fb91748 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), 6);
+	gtk_widget_set_name (title_hbox, "panel-title");
 
 	gtk_box_pack_start (GTK_BOX (panel->priv->main_box), title_hbox,
 	                             FALSE, FALSE, 0);