[fix] Gesture manager: send TapForward event for page forward (#4658)

Otherwise you can get rather unexpected results in paged media and scroll mode.

Workaround suggested by @NiLuJe here: https://github.com/koreader/koreader/pull/4570#discussion_r258693835
pull/4660/head
Frans de Jonge 5 years ago committed by GitHub
parent 7098e6ef35
commit dccebe1fb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -474,7 +474,7 @@ function ReaderGesture:gestureAction(action)
elseif action == "page_jmp_fwd_10" then
self:pageUpdate(10)
elseif action == "page_jmp_fwd_1" then
self:pageUpdate(1)
self.ui:handleEvent(Event:new("TapForward"))
elseif action == "page_jmp_back_10" then
self:pageUpdate(-10)
elseif action == "page_jmp_back_1" then

Loading…
Cancel
Save