From b88ba4094fb850f9a8bf04a6cfeb0ed91875a8c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Enrico=20Tr=C3=B6ger?= <enrico.troeger@uvena.de>
Date: Thu, 18 Dec 2008 21:19:13 +0100
Subject: [PATCH] Make the tool item label in the preferences selectable

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

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