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) { | 
