Make the tool item label in the preferences selectable

diff --git a/midori/midori-preferences.c b/midori/midori-preferences.c
index 1c0e99c65a3c8503ff5f2cde18f82d97419f83cf..c1071e13a1ae320131e83295badf0f2f7c2fbf4f 100644 (file)
--- 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);