From 080f1697e97e13461ec6df4d31c8924d01257a1b Mon Sep 17 00:00:00 2001 From: Roy Ben Shabat Date: Tue, 9 Apr 2019 01:47:48 +0300 Subject: MERGE --- .../Tango.Scripting.Editors/TextEditorComponent.cs | 40 ++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs (limited to 'Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs') diff --git a/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs new file mode 100644 index 000000000..0d333c1f2 --- /dev/null +++ b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs @@ -0,0 +1,40 @@ +// 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.ComponentModel; +using Tango.Scripting.Editors.Document; +using Tango.Scripting.Editors.Editing; +using Tango.Scripting.Editors.Rendering; + +namespace Tango.Scripting.Editors +{ + /// + /// Represents a text editor control (, + /// or ). + /// + public interface ITextEditorComponent : IServiceProvider + { + /// + /// Gets the document being edited. + /// + TextDocument Document { get; } + + /// + /// Occurs when the Document property changes (when the text editor is connected to another + /// document - not when the document content changes). + /// + event EventHandler DocumentChanged; + + /// + /// Gets the options of the text editor. + /// + TextEditorOptions Options { get; } + + /// + /// Occurs when the Options property changes, or when an option inside the current option list + /// changes. + /// + event PropertyChangedEventHandler OptionChanged; + } +} -- cgit v1.3.1