-
Ulrik Haugen authored
add the text-properties of the prompt to all text inserted before the prompt (fixes bug 421).
be6dd481
There will be a server upgrade attempt on July 6 2022 starting at around 18:00 CEST. Services will be down during this time. There is no estimate on how long this will take.
add the text-properties of the prompt to all text inserted before the prompt (fixes bug 421).