poire-z cc4009e88f ReaderDictionary: merge dict & dict_ext results (#8523) ...

So the presence of a dict_ext and results from it
are transparent to callers.
(This fixes the warning log when dict_ext is there.)

2021-12-07 13:51:27 +01:00

..

modules

ReaderDictionary: merge dict & dict_ext results (#8523)

2021-12-07 13:51:27 +01:00

readerui.lua

Backup and restore bookmarks/highlights when switching engines (#8455)

2021-11-21 20:41:58 +01:00