[code]This is a sample that demonstrates a bug
in the caret display.
Paste it into a TextEditor with font size 18.
Use the arrow keys to move the caret
to right before the hash: # then mark this
text by keeping the shift key down and
using the arrow down key until the caret
right after the hash in the above line.
That is, the hash signs are the first and
last chars in the highlight.
Then type the letter a.
The caret erroneously gets placed on the
next line, right before “right after”.
Then type the letter b.
Now, things are as expected. It seems the internal logic of the TextEditor works ok, but the caret occasionally appears on a wrong line when highlighted text is replaced by something else.
Now, type Ctrl+Z to undo the last experiment.
Then highlight the dollarized paragraph
so that the dollar signs are the first and
last character. Use Ctrl+C to copy to the
Then highlight the hashed sentence as
before, including both hashes. Press
Ctrl+V to replace it with the dollarized
paragraph in the clipboard.
On my system, the caret now appears
4 lines lower than it should. Still it seems
the insertion/deletion logic is sound, only
the caret display is wrong, and only until
the next keypress.[/code]