Frans de Jonge 7098e6ef35 [fix] Gesture manager: default at the top (#4656) ...

Accidentally broken by 1d6948ddf1

2019-02-24 17:36:15 +01:00

..

modules

[fix] Gesture manager: default at the top (#4656)

2019-02-24 17:36:15 +01:00

readerui.lua

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

2019-02-22 16:29:19 +01:00

skimtowidget.lua

Change skim mode menu & dialog title (#4223)

2018-09-18 21:37:13 +02:00