[UX] Gesture manager: add action - file search (#4720)

Also makes it callable from the reader.

Fixes #4717.
This commit is contained in:
Frans de Jonge
2019-03-03 12:43:09 +01:00
committed by GitHub
parent bb3f49a566
commit 2ba480b41d
5 changed files with 30 additions and 6 deletions

View File

@@ -44,6 +44,7 @@ local action_strings = {
dictionary_lookup = _("Dictionary lookup"),
wikipedia_lookup = _("Wikipedia lookup"),
fulltext_search = _("Fulltext search"),
file_search = _("File search"),
full_refresh = _("Full screen refresh"),
night_mode = _("Night mode"),
@@ -285,7 +286,8 @@ function ReaderGesture:buildMenu(ges, default)
{"dictionary_lookup", true},
{"wikipedia_lookup", true, true},
{"fulltext_search", not self.is_docless, true},
{"fulltext_search", not self.is_docless},
{"file_search", true, true},
{"full_refresh", true},
{"night_mode", true},
@@ -559,6 +561,13 @@ function ReaderGesture:gestureAction(action, ges)
elseif action == "filemanager" then
self.ui:onClose()
self.ui:showFileManager()
elseif action == "file_search" then
if self.ges_mode == "gesture_fm" then
self.ui:handleEvent(Event:new("ShowFileSearch", self.ui.file_chooser.path))
else
local last_dir = self.ui:getLastDirFile()
self.ui:handleEvent(Event:new("ShowFileSearch", last_dir))
end
elseif action == "folder_up" then
self.ui.file_chooser:changeToPath(string.format("%s/..", self.ui.file_chooser.path))
elseif action == "open_previous_document" then