poire-z 1a4faad17c cre: Footnotes popup: fix markers disappearing too early ...

When following a footnote popup, the highlighted link
delayed clearing (when the link is hidden by the popup)
would clear the margin marker on the target page too early.

2019-03-13 22:18:04 +01:00

..

modules

cre: Footnotes popup: fix markers disappearing too early

2019-03-13 22:18:04 +01:00

readerui.lua

[UX] Gesture manager: allow folder shortcuts as action in Reader (#4759)

2019-03-08 21:02:25 +01:00

skimtowidget.lua

Change skim mode menu & dialog title (#4223)

2018-09-18 21:37:13 +02:00