poire-z 7c53fcd922 CRe margins: hide bottom menu on change (#5000) ...

So we can immediately see how's the bottom margin.

2019-05-05 10:15:13 +02:00

..

modules

CRe margins: hide bottom menu on change (#5000)

2019-05-05 10:15:13 +02:00

readerui.lua

Give more control over CRe margins (#4945)

2019-05-01 02:09:01 +02:00

skimtowidget.lua

Change skim mode menu & dialog title (#4223)

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