[feat, UX] Gesture manager: add option - open previous document (#4641)

Fixes #4333.
This commit is contained in:
Frans de Jonge
2019-02-22 16:29:19 +01:00
committed by GitHub
parent 260427d226
commit 9a92792551
4 changed files with 35 additions and 18 deletions

View File

@@ -684,6 +684,7 @@ function ReaderUI:reloadDocument(after_close_callback)
end
function ReaderUI:switchDocument(new_file)
if not new_file then return end
self:handleEvent(Event:new("CloseReaderMenu"))
self:handleEvent(Event:new("CloseConfigMenu"))
self.highlight:onClose() -- close highlight dialog if any