poire-z b9724f1e93 Text highlighting: extend to include punctuations ...

When selected text seems to be a "sentence segment"
(that is, when there are punctuations around start
AND end), extend the selection to include the relevant
punctuation.
Do this only when saving highlights and for translation
(but not when dict or wikipedia lookups, or search).

2022-06-11 20:58:52 +02:00

..

modules

Text highlighting: extend to include punctuations

2022-06-11 20:58:52 +02:00

readerui.lua

[feat] Replace TimeVal (RIP) with time, fixed point time seconds (#8999)

2022-05-05 21:00:22 +02:00