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