From: André Stösel <andre@stoesel.de>
Date: Tue, 26 Jul 2011 19:44:17 +0000 (+0200)
Subject: Make the infobar labels selectable.
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=25cdc7161b2122c18cc68906f69b740ba26c4de7;p=midori

Make the infobar labels selectable.
---

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);