From 25cdc7161b2122c18cc68906f69b740ba26c4de7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Andr=C3=A9=20St=C3=B6sel?= 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); -- 2.39.5