Calixte Denizet 6dd75c0e62 [Editor] When in non-editing mode, add a new editor only once the editing mode has switched ...

Switching to an editing mode can be asynchronous (e.g. if an editable annotation exists on a
visible page), so we must add a new editor only when the page rendering is done.

2024-07-15 21:04:52 +02:00

147 KiB

Executable File

Raw History