diff options
Diffstat (limited to 'Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Folding/NewFolding.cs')
| -rw-r--r-- | Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Folding/NewFolding.cs | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Folding/NewFolding.cs b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Folding/NewFolding.cs new file mode 100644 index 000000000..7f397c82e --- /dev/null +++ b/Software/Visual_Studio/Scripting/Tango.Scripting.Editors/Folding/NewFolding.cs @@ -0,0 +1,70 @@ +// 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.Collections.Generic; +using System.Collections.ObjectModel; +using System.Windows; +using System.Windows.Threading; + +using Tango.Scripting.Editors.Document; +using Tango.Scripting.Editors.Editing; +using Tango.Scripting.Editors.Rendering; +using Tango.Scripting.Editors.Utils; + +namespace Tango.Scripting.Editors.Folding +{ + /// <summary> + /// Helper class used for <see cref="FoldingManager.UpdateFoldings"/>. + /// </summary> + public class NewFolding : ISegment + { + /// <summary> + /// Gets/Sets the start offset. + /// </summary> + public int StartOffset { get; set; } + + /// <summary> + /// Gets/Sets the end offset. + /// </summary> + public int EndOffset { get; set; } + + /// <summary> + /// Gets/Sets the name displayed for the folding. + /// </summary> + public string Name { get; set; } + + /// <summary> + /// Gets/Sets whether the folding is closed by default. + /// </summary> + public bool DefaultClosed { get; set; } + + /// <summary> + /// Creates a new NewFolding instance. + /// </summary> + public NewFolding() + { + } + + /// <summary> + /// Creates a new NewFolding instance. + /// </summary> + public NewFolding(int start, int end) + { + if (!(start <= end)) + throw new ArgumentException("'start' must be less than 'end'"); + this.StartOffset = start; + this.EndOffset = end; + this.Name = null; + this.DefaultClosed = false; + } + + int ISegment.Offset { + get { return this.StartOffset; } + } + + int ISegment.Length { + get { return this.EndOffset - this.StartOffset; } + } + } +} |
