Make the tool item label in the preferences selectable
This commit is contained in:
parent
2b188c4743
commit
b88ba4094f
1 changed files with 1 additions and 0 deletions
|
@ -489,6 +489,7 @@ midori_preferences_set_settings (MidoriPreferences* preferences,
|
||||||
"Separator, TabNew, Open, Print, Find, Location, Preferences, Window, Bookmarks\n"
|
"Separator, TabNew, Open, Print, Find, Location, Preferences, Window, Bookmarks\n"
|
||||||
"ReloadStop, ZoomIn, ZoomOut, Back, Forward, Homepage, Search, Trash"
|
"ReloadStop, ZoomIn, ZoomOut, Back, Forward, Homepage, Search, Trash"
|
||||||
"</span>");
|
"</span>");
|
||||||
|
gtk_label_set_selectable (GTK_LABEL (button), TRUE);
|
||||||
FILLED_ADD (button, 0, 2, 2, 3);
|
FILLED_ADD (button, 0, 2, 2, 3);
|
||||||
FRAME_NEW (_("Browsing"));
|
FRAME_NEW (_("Browsing"));
|
||||||
TABLE_NEW (5, 2);
|
TABLE_NEW (5, 2);
|
||||||
|
|
Loading…
Reference in a new issue