# HG changeset patch
# User zas_
# Date 1235920537 0
# Node ID d5fec01ce8664396203cc91a9585f32cdbb95e98
# Parent  77c3d9dcd6bc77ba3da6fd879666babee66fa527
In the side bar, display the filename without the 'Filename:' prefix and makes it centered. Allow to select it for copy'n'paste.

diff -r 77c3d9dcd6bc -r d5fec01ce866 src/bar.c
--- a/src/bar.c	Sun Mar 01 13:37:30 2009 +0000
+++ b/src/bar.c	Sun Mar 01 15:15:37 2009 +0000
@@ -332,7 +332,6 @@
 	BarData *bd;
 	GtkWidget *box;
 	GtkWidget *sizer;
-	GtkWidget *label;
 	GtkWidget *button;
 	GtkWidget *arrow;
 	GtkWidget *scrolled;
@@ -357,14 +356,9 @@
 	gtk_box_pack_start(GTK_BOX(box), sizer, FALSE, FALSE, 0);
 	gtk_widget_show(sizer);
 
-	label = gtk_label_new(_("Filename:"));
-	gtk_misc_set_alignment(GTK_MISC(label), 1.0, 0.0);
-	gtk_box_pack_start(GTK_BOX(box), label, TRUE, TRUE, 0);
-	gtk_widget_show(label);
-
 	bd->label_file_name = gtk_label_new("");
-	pref_label_bold(bd->label_file_name, TRUE, FALSE);
-	gtk_misc_set_alignment(GTK_MISC(bd->label_file_name), 0.0, 0.0);
+	gtk_label_set_selectable(GTK_LABEL(bd->label_file_name), TRUE);
+	gtk_misc_set_alignment(GTK_MISC(bd->label_file_name), 0.5, 0.5);
 	gtk_box_pack_start(GTK_BOX(box), bd->label_file_name, TRUE, TRUE, 0);
 	gtk_widget_show(bd->label_file_name);