Frans de Jonge a2c47b35de [UX] Gesture manager: add paged zoom gestures (#4610) ... References #4333.		2019-02-20 13:45:14 +01:00
..
modules	[UX] Gesture manager: add paged zoom gestures (#4610)	2019-02-20 13:45:14 +01:00
readerui.lua	CreDocument: fix document loading interferences (#4349)	2018-11-20 21:07:59 +01:00
skimtowidget.lua	Change skim mode menu & dialog title (#4223)	2018-09-18 21:37:13 +02:00