-
Ulrik Haugen authored
add the text-properties of the prompt to all text inserted before the prompt (fixes bug 421).
be6dd481
To find the state of this project's repository at the time of any of these versions, check out the tags.
add the text-properties of the prompt to all text inserted before the prompt (fixes bug 421).