From fc8a05358a92cc3c77c5f1e30d536807ef0614fd Mon Sep 17 00:00:00 2001 From: Victoria Plitt Date: Mon, 8 Apr 2019 13:49:55 +0300 Subject: were added scripting projects --- .../Document/DocumentChangeOperation.cs | 52 ++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Document/DocumentChangeOperation.cs (limited to 'Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Document/DocumentChangeOperation.cs') diff --git a/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Document/DocumentChangeOperation.cs b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Document/DocumentChangeOperation.cs new file mode 100644 index 000000000..f24b7ed4d --- /dev/null +++ b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Document/DocumentChangeOperation.cs @@ -0,0 +1,52 @@ +// 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.Diagnostics; + +namespace Tango.Scripting.Editors.Document +{ + /// + /// Describes a change to a TextDocument. + /// + sealed class DocumentChangeOperation : IUndoableOperationWithContext + { + TextDocument document; + DocumentChangeEventArgs change; + + public DocumentChangeOperation(TextDocument document, DocumentChangeEventArgs change) + { + this.document = document; + this.change = change; + } + + public void Undo(UndoStack stack) + { + Debug.Assert(stack.state == UndoStack.StatePlayback); + stack.RegisterAffectedDocument(document); + stack.state = UndoStack.StatePlaybackModifyDocument; + this.Undo(); + stack.state = UndoStack.StatePlayback; + } + + public void Redo(UndoStack stack) + { + Debug.Assert(stack.state == UndoStack.StatePlayback); + stack.RegisterAffectedDocument(document); + stack.state = UndoStack.StatePlaybackModifyDocument; + this.Redo(); + stack.state = UndoStack.StatePlayback; + } + + public void Undo() + { + OffsetChangeMap map = change.OffsetChangeMapOrNull; + document.Replace(change.Offset, change.InsertionLength, change.RemovedText, map != null ? map.Invert() : null); + } + + public void Redo() + { + document.Replace(change.Offset, change.RemovalLength, change.InsertedText, change.OffsetChangeMapOrNull); + } + } +} -- cgit v1.3.1