From 25cdc7161b2122c18cc68906f69b740ba26c4de7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20St=C3=B6sel?= <andre@stoesel.de>
Date: Tue, 26 Jul 2011 21:44:17 +0200
Subject: [PATCH] Make the infobar labels selectable.

---
 midori/midori-view.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/midori/midori-view.c b/midori/midori-view.c
index 0ef7af3f..39489ae0 100644
--- a/midori/midori-view.c
+++ b/midori/midori-view.c
@@ -1207,6 +1207,7 @@ midori_view_add_info_bar (MidoriView*    view,
 
     va_end (args);
     label = gtk_label_new (message);
+    gtk_label_set_selectable (GTK_LABEL (label), TRUE);
     gtk_label_set_ellipsize (GTK_LABEL (label), PANGO_ELLIPSIZE_END);
     gtk_container_add (GTK_CONTAINER (content_area), label);
     gtk_widget_show_all (infobar);