|
|
|
|
@ -976,16 +976,7 @@ namespace ICSharpCode.AvalonEdit.Editing
@@ -976,16 +976,7 @@ namespace ICSharpCode.AvalonEdit.Editing
|
|
|
|
|
protected override void OnKeyDown(KeyEventArgs e) |
|
|
|
|
{ |
|
|
|
|
base.OnKeyDown(e); |
|
|
|
|
if (e.Key != Key.LeftShift && e.Key != Key.RightShift |
|
|
|
|
&& e.Key != Key.LeftCtrl && e.Key != Key.RightCtrl |
|
|
|
|
&& e.Key != Key.LeftAlt && e.Key != Key.RightAlt |
|
|
|
|
&& e.Key != Key.Up && e.Key != Key.Down && e.Key != Key.Left && e.Key != Key.Right |
|
|
|
|
&& e.Key != Key.PageDown && e.Key != Key.PageUp) |
|
|
|
|
{ |
|
|
|
|
HideMouseCursor(); |
|
|
|
|
} else { |
|
|
|
|
ShowMouseCursor(); |
|
|
|
|
} |
|
|
|
|
HideMouseCursor(); |
|
|
|
|
TextView.InvalidateCursorIfMouseWithinTextView(); |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
@ -1000,7 +991,6 @@ namespace ICSharpCode.AvalonEdit.Editing
@@ -1000,7 +991,6 @@ namespace ICSharpCode.AvalonEdit.Editing
|
|
|
|
|
#region Hide Mouse Cursor While Typing
|
|
|
|
|
|
|
|
|
|
bool isMouseCursorHidden; |
|
|
|
|
DispatcherTimer typingTimer; |
|
|
|
|
|
|
|
|
|
void AttachTypingEvents() { |
|
|
|
|
this.MouseEnter += delegate { ShowMouseCursor(); }; |
|
|
|
|
@ -1012,11 +1002,6 @@ namespace ICSharpCode.AvalonEdit.Editing
@@ -1012,11 +1002,6 @@ namespace ICSharpCode.AvalonEdit.Editing
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
void ShowMouseCursor() { |
|
|
|
|
if (typingTimer != null) { |
|
|
|
|
typingTimer.Stop(); |
|
|
|
|
typingTimer = null; |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
if (this.isMouseCursorHidden) { |
|
|
|
|
System.Windows.Forms.Cursor.Show(); |
|
|
|
|
this.isMouseCursorHidden = false; |
|
|
|
|
@ -1024,14 +1009,6 @@ namespace ICSharpCode.AvalonEdit.Editing
@@ -1024,14 +1009,6 @@ namespace ICSharpCode.AvalonEdit.Editing
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
void HideMouseCursor() { |
|
|
|
|
if (typingTimer != null) { |
|
|
|
|
typingTimer.Stop(); |
|
|
|
|
} |
|
|
|
|
typingTimer = new DispatcherTimer(); |
|
|
|
|
typingTimer.Interval = new TimeSpan(0, 0, 0, 1, 200); |
|
|
|
|
typingTimer.Tick += delegate { ShowMouseCursor(); };; |
|
|
|
|
typingTimer.Start(); |
|
|
|
|
|
|
|
|
|
if (!this.isMouseCursorHidden && this.IsMouseOver) { |
|
|
|
|
this.isMouseCursorHidden = true; |
|
|
|
|
System.Windows.Forms.Cursor.Hide(); |
|
|
|
|
|