Robert dc5a479b66 Gesture manager (initial) (#4240) ... Manager supports separate gestures for the file manager and the reader. Gestures from the manager have a higher priority than built-in gestures. Settings available in Gear -> Device -> Gesture manager		2018-09-29 23:15:57 +02:00
..
modules	Gesture manager (initial) (#4240)	2018-09-29 23:15:57 +02:00
readerui.lua	Gesture manager (initial) (#4240)	2018-09-29 23:15:57 +02:00
skimtowidget.lua	Change skim mode menu & dialog title (#4223)	2018-09-18 21:37:13 +02:00