diff options
author | nyamatongwe <devnull@localhost> | 2000-06-22 14:01:20 +0000 |
---|---|---|
committer | nyamatongwe <devnull@localhost> | 2000-06-22 14:01:20 +0000 |
commit | e448128c06157e09c2355255e1db6a81e075596e (patch) | |
tree | 5035413c581ec5d70b938f0e0b3227b657837b29 /src | |
parent | bd63a4f381e57366d0d9e58f57242eaa5f4c79c2 (diff) | |
download | scintilla-mirror-e448128c06157e09c2355255e1db6a81e075596e.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) { |