Robert 9c373f138f Menu: speed up rendering of long texts (#3657) ...

Slowness mostly noticable in Bookmarks with long highlights

2018-02-04 19:48:39 +01:00

..

modules

Menu: speed up rendering of long texts (#3657)

2018-02-04 19:48:39 +01:00

readerui.lua

[feat] Open with: choose which engine to use for file (#3653)

2018-02-02 21:21:52 +01:00

skimtowidget.lua

Add MovableContainer: allow moving some widgets (#3636)

2018-01-29 21:27:24 +01:00