// 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.Text; using System.Windows.Threading; using ICSharpCode.AvalonEdit.Document; using ICSharpCode.AvalonEdit.Rendering; namespace ICSharpCode.AvalonEdit.Folding { /// /// A section that can be folded. /// public sealed class FoldingSection : TextSegment { readonly FoldingManager manager; bool isFolded; internal CollapsedLineSection[] collapsedSections; string title; /// /// Gets/sets if the section is folded. /// public bool IsFolded { get { return isFolded; } set { if (isFolded != value) { isFolded = value; if (value) { if (manager != null) { DocumentLine startLine = manager.document.GetLineByOffset(StartOffset); DocumentLine endLine = manager.document.GetLineByOffset(EndOffset); if (startLine != endLine) { DocumentLine startLinePlusOne = startLine.NextLine; collapsedSections = manager.CollapseLines(startLinePlusOne, endLine); } } } else { RemoveCollapsedLineSection(); } if (manager != null) manager.Redraw(this); } } } internal CollapsedLineSection CollapseSection(TextView textView) { DocumentLine startLine = manager.document.GetLineByOffset(StartOffset); DocumentLine endLine = manager.document.GetLineByOffset(EndOffset); if (startLine != endLine) { DocumentLine startLinePlusOne = startLine.NextLine; return textView.CollapseLines(startLinePlusOne, endLine); } return null; } /// /// Gets/Sets the text used to display the collapsed version of the folding section. /// public string Title { get { return title; } set { if (title != value) { title = value; if (this.IsFolded && manager != null) manager.Redraw(this); } } } /// /// Gets the content of the collapsed lines as text. /// public string TextContent { get { return manager.document.GetText(StartOffset, EndOffset - StartOffset); } } /// /// Gets the content of the collapsed lines as tooltip text. /// public string TooltipText { get { // This fixes SD-1394: // Each line is checked for leading indentation whitespaces. If // a line has the same or more indentation than the first line, // it is reduced. If a line is less indented than the first line // the indentation is removed completely. // // See the following example: // line 1 // line 2 // line 3 // line 4 // // is reduced to: // line 1 // line 2 // line 3 // line 4 var startLine = manager.document.GetLineByOffset(StartOffset); var endLine = manager.document.GetLineByOffset(EndOffset); var builder = new StringBuilder(); var current = startLine; ISegment startIndent = TextUtilities.GetLeadingWhitespace(manager.document, startLine); while (current != endLine.NextLine) { ISegment currentIndent = TextUtilities.GetLeadingWhitespace(manager.document, current); if (current == startLine && current == endLine) builder.Append(manager.document.GetText(StartOffset, EndOffset - StartOffset)); else if (current == startLine) { if (current.EndOffset - StartOffset > 0) builder.AppendLine(manager.document.GetText(StartOffset, current.EndOffset - StartOffset).TrimStart()); } else if (current == endLine) { if (startIndent.Length <= currentIndent.Length) builder.Append(manager.document.GetText(current.Offset + startIndent.Length, EndOffset - current.Offset - startIndent.Length)); else builder.Append(manager.document.GetText(current.Offset + currentIndent.Length, EndOffset - current.Offset - currentIndent.Length)); } else { if (startIndent.Length <= currentIndent.Length) builder.AppendLine(manager.document.GetText(current.Offset + startIndent.Length, current.Length - startIndent.Length)); else builder.AppendLine(manager.document.GetText(current.Offset + currentIndent.Length, current.Length - currentIndent.Length)); } current = current.NextLine; } return builder.ToString(); } } /// /// Gets/Sets an additional object associated with this folding section. /// public object Tag { get; set; } internal FoldingSection(FoldingManager manager, int startOffset, int endOffset) { this.manager = manager; this.StartOffset = startOffset; this.Length = endOffset - startOffset; } void RemoveCollapsedLineSection() { if (collapsedSections != null) { foreach (var collapsedSection in collapsedSections) { if (collapsedSection != null && collapsedSection.Start != null) collapsedSection.Uncollapse(); } collapsedSections = null; } } } }