From: Enrico Tröger <enrico.troeger@uvena.de>
Date: Thu, 18 Dec 2008 20:19:13 +0000 (+0100)
Subject: Make the tool item label in the preferences selectable
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b88ba4094fb850f9a8bf04a6cfeb0ed91875a8c1;p=midori

Make the tool item label in the preferences selectable
---

diff --git a/midori/midori-preferences.c b/midori/midori-preferences.c
index 1c0e99c6..c1071e13 100644
--- a/midori/midori-preferences.c
+++ b/midori/midori-preferences.c
@@ -489,6 +489,7 @@ midori_preferences_set_settings (MidoriPreferences* preferences,
         "Separator, TabNew, Open, Print, Find, Location, Preferences, Window, Bookmarks\n"
         "ReloadStop, ZoomIn, ZoomOut, Back, Forward, Homepage, Search, Trash"
         "</span>");
+    gtk_label_set_selectable (GTK_LABEL (button), TRUE);
     FILLED_ADD (button, 0, 2, 2, 3);
     FRAME_NEW (_("Browsing"));
     TABLE_NEW (5, 2);