merge alarm handling from remote

1 files changed, 80 insertions, 0 deletions

diff --git a/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Snippets/SnippetInputHandler.cs b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Snippets/SnippetInputHandler.cs
new file mode 100644
index 000000000..6a8de2e88
--- /dev/null
+++ b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Snippets/SnippetInputHandler.cs
@@ -0,0 +1,80 @@
+// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
+// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
+
+using System;
+using System.Linq;
+using System.Collections.Generic;
+using System.Diagnostics;
+using System.Windows.Input;
+
+using Tango.Scripting.Editors.Document;
+using Tango.Scripting.Editors.Editing;
+
+namespace Tango.Scripting.Editors.Snippets
+{
+	sealed class SnippetInputHandler : TextAreaStackedInputHandler
+	{
+		readonly InsertionContext context;
+		
+		public SnippetInputHandler(InsertionContext context)
+			: base(context.TextArea)
+		{
+			this.context = context;
+		}
+		
+		public override void Attach()
+		{
+			base.Attach();
+			
+			SelectElement(FindNextEditableElement(-1, false));
+		}
+		
+		public override void Detach()
+		{
+			base.Detach();
+			context.Deactivate(new SnippetEventArgs(DeactivateReason.InputHandlerDetached));
+		}
+		
+		public override void OnPreviewKeyDown(KeyEventArgs e)
+		{
+			base.OnPreviewKeyDown(e);
+			if (e.Key == Key.Escape) {
+				context.Deactivate(new SnippetEventArgs(DeactivateReason.EscapePressed));
+				e.Handled = true;
+			} else if (e.Key == Key.Return) {
+				context.Deactivate(new SnippetEventArgs(DeactivateReason.ReturnPressed));
+				e.Handled = true;
+			} else if (e.Key == Key.Tab) {
+				bool backwards = e.KeyboardDevice.Modifiers == ModifierKeys.Shift;
+				SelectElement(FindNextEditableElement(TextArea.Caret.Offset, backwards));
+				e.Handled = true;
+			}
+		}
+		
+		void SelectElement(IActiveElement element)
+		{
+			if (element != null) {
+				TextArea.Selection = Selection.Create(TextArea, element.Segment);
+				TextArea.Caret.Offset = element.Segment.EndOffset;
+			}
+		}
+		
+		IActiveElement FindNextEditableElement(int offset, bool backwards)
+		{
+			IEnumerable<IActiveElement> elements = context.ActiveElements.Where(e => e.IsEditable && e.Segment != null);
+			if (backwards) {
+				elements = elements.Reverse();
+				foreach (IActiveElement element in elements) {
+					if (offset > element.Segment.EndOffset)
+						return element;
+				}
+			} else {
+				foreach (IActiveElement element in elements) {
+					if (offset < element.Segment.Offset)
+						return element;
+				}
+			}
+			return elements.FirstOrDefault();
+		}
+	}
+}