Hans-Werner Hilse f789913702 read global default value for margin size ...

The global configuration wasn't evaluated before

2014-12-19 14:03:56 +00:00

..

modules

read global default value for margin size

2014-12-19 14:03:56 +00:00

pluginloader.lua

guess plugin name from plugin path

2014-10-09 12:38:33 +08:00

readerui.lua

clean up refreshes

2014-12-01 16:03:40 +00:00