dispatcher: add collections

reviewable/pr11693/r1
hius07 2 weeks ago committed by GitHub
parent 979dc7bcb3
commit d8092c510a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -53,7 +53,8 @@ local settingsList = {
open_previous_document = {category="none", event="OpenLastDoc", title=_("Open previous document"), general=true},
history = {category="none", event="ShowHist", title=_("History"), general=true},
history_search = {category="none", event="SearchHistory", title=_("History search"), general=true},
favorites = {category="none", event="ShowColl", arg="favorites", title=_("Favorites"), general=true},
favorites = {category="none", event="ShowColl", title=_("Favorites"), general=true},
collections = {category="none", event="ShowCollList", title=_("Collections"), general=true},
filemanager = {category="none", event="Home", title=_("File browser"), general=true, separator=true},
----
dictionary_lookup = {category="none", event="ShowDictionaryLookup", title=_("Dictionary lookup"), general=true},
@ -272,6 +273,7 @@ local dispatcher_menu_order = {
"history",
"history_search",
"favorites",
"collections",
"filemanager",
----
"dictionary_lookup",

Loading…
Cancel
Save