Robert 4d0f66a354 Fix: Unhighlight is not clickable in dictionary view and Deleting highlights in bookmarks does not take effect (#3034) ...

* Fix: Unhighlight is not clickable in dictionary view
* Fix: Deleting highlights in bookmarks does not take effect

2017-07-28 22:39:54 +02:00

..

modules

Fix: Unhighlight is not clickable in dictionary view and Deleting highlights in bookmarks does not take effect (#3034)

2017-07-28 22:39:54 +02:00

readerui.lua

Book information: refactored and additional features

2017-07-14 16:46:38 +02:00

skimtowidget.lua

Font: unify font styling

2017-04-29 03:01:38 -07:00