diff options
author | nyamatongwe <unknown> | 2000-06-22 14:01:20 +0000 |
---|---|---|
committer | nyamatongwe <unknown> | 2000-06-22 14:01:20 +0000 |
commit | fadf99e46d9b6e4bda9bfae1f6ab3b40ef907d9f (patch) | |
tree | 5035413c581ec5d70b938f0e0b3227b657837b29 /src | |
parent | 939886fbd57448673355a48d615eb28f6c4a7559 (diff) | |
download | scintilla-mirror-fadf99e46d9b6e4bda9bfae1f6ab3b40ef907d9f.tar.gz |
Caret stability when adding or deleting characters.
Caret redisplayed when focus in on GTK+.
Fixed whitespace visible after indentation option.
Diffstat (limited to 'src')
-rw-r--r-- | src/Editor.cxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Editor.cxx b/src/Editor.cxx index 14dbb87df..abfa947f0 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -1404,6 +1404,8 @@ void Editor::AddCharUTF(char *s, unsigned int len) { pdoc->InsertString(currentPos, s, len); SetEmptySelection(currentPos + len); EnsureCaretVisible(); + // Avoid blinking during rapid typing: + ShowCaretAtCurrentPosition(); SetLastXChosen(); NotifyChar(s[0]); } @@ -1510,6 +1512,8 @@ void Editor::Redo() { void Editor::DelChar() { pdoc->DelChar(currentPos); + // Avoid blinking during rapid typing: + ShowCaretAtCurrentPosition(); } void Editor::DelCharBack() { @@ -1520,6 +1524,8 @@ void Editor::DelCharBack() { ClearSelection(); SetEmptySelection(currentPos); } + // Avoid blinking during rapid typing: + ShowCaretAtCurrentPosition(); } void Editor::NotifyFocus(bool) { |