11 Commits (493eab92c93a67e97e38e607bdb46b3c4da3f9b3)

Author	SHA1	Message	Date
NiLuJe	493eab92c9	[RFC] Make default UI tapzones more generous (#6918) ... * Top menu & bottom menu tapzones are now full-width, thanks to the now sane override system. * A separate, extra tapzone was also created for each of them to provide a taller, but narrower tapzone extension (one that doesn't clash with the prev/next tapzones). * The footer tapzone was made much taller.	4 years ago
poire-z	8403154d4d	Reader: rationalize "Back" key/action handling (#6840) ... Have ReaderBack be the sole handler of onBack. Add 4 mutually exclusive options for the Back key, to avoid ReaderLink and ReaderBack location stacks from interfering (ReaderBack's stack being always a superset of ReaderLink's stack). So, remove "Enable back history", which is replaced by Back option "Go to previous read page". Fix a few possible crashes and inconsistencies (when zoom, scroll or reflow have changed) with ReaderPaging and ReaderView when restoring previous page/view.	4 years ago
poire-z	74c1813a82	GestureDetector: add Tap interval on keyboard setting ... Follow up to b90f6db8: allow specifying an other value for tap interval when the keyboard is shown (a good value for tap interval on reader and UI elements might be too long on the keyboard, and prevent typing fast).	4 years ago
poire-z	b90f6db876	GestureDetector: add Tap interval setting, to avoid bounces ... Also fix info_text not displayed, and add more descriptive ones.	4 years ago
yparitcher	34b3d5541d	Gestures/Profiles: make sure dispatcher is initalized ... even when the menu is not opened. this was causing a crash when the event name was parsed from creoptions	4 years ago
NiLuJe	99045b4311	Minor util & ffi/util cleanups (#6657)	4 years ago
Galunid	55a5f0c1a3	Cleanup after #6449 (#6484) ... * Better description in spinwidget * Rename SpinWidget title from "Hold pan rate" -> "Text selection rate"	4 years ago
Galunid	627716db9c	Allow setting text selection rate (#6449)	4 years ago
yparitcher	7583571707	Dispatcher Gestures Profiles: only flush settings when changed (#6471)	4 years ago
yparitcher	9e0ac734ba	Gestures: Refactor to use Dispatcher	4 years ago
yparitcher	2a99b014a2	initial refactor of ReaderGesture into Gestures plugin	4 years ago