Frans de Jonge 13d4ead330 [fix] Gesture manager: check multiswipe defaults (#4623) ...

Pointed out by @poire-z

Also add default previous location action for left, right.

2019-02-20 09:34:44 +01:00

..

modules

[fix] Gesture manager: check multiswipe defaults (#4623)

2019-02-20 09:34:44 +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