diff options
| author | Shlomo Hecht <shlomo@twine-s.com> | 2019-04-23 22:25:54 +0300 |
|---|---|---|
| committer | Shlomo Hecht <shlomo@twine-s.com> | 2019-04-23 22:25:54 +0300 |
| commit | ebcb9ce27131e4bbd14c96b5f897a67bc752aaeb (patch) | |
| tree | 293aee8b1751ce7fce542645722c0f1a96b73097 /Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs | |
| parent | 52967e858bd52621208f6360e84f4c47ec435816 (diff) | |
| parent | 636ad730569dfef1a4ee04c8d716d510bcc47ee1 (diff) | |
| download | Tango-ebcb9ce27131e4bbd14c96b5f897a67bc752aaeb.tar.gz Tango-ebcb9ce27131e4bbd14c96b5f897a67bc752aaeb.zip | |
merge alarm handling from remote
Diffstat (limited to 'Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs')
| -rw-r--r-- | Software/Visual_Studio/Scripting/Tango.Scripting.Editors/TextEditorComponent.cs | 40 |
1 files changed, 40 insertions, 0 deletions
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 +{ + /// <summary> + /// Represents a text editor control (<see cref="TextEditor"/>, <see cref="TextArea"/> + /// or <see cref="TextView"/>). + /// </summary> + public interface ITextEditorComponent : IServiceProvider + { + /// <summary> + /// Gets the document being edited. + /// </summary> + TextDocument Document { get; } + + /// <summary> + /// Occurs when the Document property changes (when the text editor is connected to another + /// document - not when the document content changes). + /// </summary> + event EventHandler DocumentChanged; + + /// <summary> + /// Gets the options of the text editor. + /// </summary> + TextEditorOptions Options { get; } + + /// <summary> + /// Occurs when the Options property changes, or when an option inside the current option list + /// changes. + /// </summary> + event PropertyChangedEventHandler OptionChanged; + } +} |
