Am Sonntag, den 02.12.2018, 19:50 +0100 schrieb Kornel Benko:
>
> Probably bad memory, but how do you insert it? I believe to remember
> that one
> could simply type 1cd80ff and the correct mark was inserted
> automatically.
> Apparently not anymore.
I think you need to enter it manually. I don't
Am Sonntag, 2. Dezember 2018 17:57:19 CET schrieb LyX Ticket Tracker
:
> #11265: Advanced Replace All is very slow
> +--
> Reporter: racoon | Owner: tommaso
> Type: defect | Status: new
> Priority: normal | Milesto
