Robert 9ea2b3dbad Option to disable show bottom menu on top menu activation (#3316)

2017-10-08 12:27:53 +02:00

..

modules

Option to disable show bottom menu on top menu activation (#3316)

2017-10-08 12:27:53 +02:00

readerui.lua

[travis] Add protection against unscaled sizes

2017-09-23 20:24:45 +02:00

skimtowidget.lua

Added Size module

2017-09-23 20:24:45 +02:00