Robert a706fde2d7 Cleanup downloadmgr titles (#4222)

2018-09-13 13:20:09 +02:00

..

cloudstorage

Cleanup downloadmgr titles (#4222)

2018-09-13 13:20:09 +02:00

filemanager

New startup option: Folder shortcuts (#4220)

2018-09-12 21:42:24 +02:00

opdscatalog

UIManager: avoid painting widgets covered by a full screen widget (#3770)

2018-03-17 23:02:32 +01:00

reader

Keep some menus open when Tap or Hold (#4189)

2018-09-04 23:55:58 +02:00