Exemplos de TextAddin.Highlighting HighlightedSection em C# (CSharp)

Exemplo n.º 1

Arquivo: DocumentHighlighter.cs Projeto: aldyjepara/flood

 void PushColor(HighlightingColor color)
 {
     if (highlightedLine == null)
     {
         return;
     }
     if (color == null)
     {
         highlightedSectionStack.Push(null);
     }
     else if (lastPoppedSection != null && lastPoppedSection.Color == color &&
              lastPoppedSection.Offset + lastPoppedSection.Length == position + lineStartOffset)
     {
         highlightedSectionStack.Push(lastPoppedSection);
         lastPoppedSection = null;
     }
     else
     {
         HighlightedSection hs = new HighlightedSection {
             Offset = position + lineStartOffset,
             Color  = color
         };
         highlightedLine.Sections.Add(hs);
         highlightedSectionStack.Push(hs);
         lastPoppedSection = null;
     }
 }

Exemplo n.º 2

Arquivo: DocumentHighlighter.cs Projeto: aldyjepara/flood

 void ResetColorStack()
 {
     Debug.Assert(position == 0);
     lastPoppedSection = null;
     if (highlightedLine == null)
     {
         highlightedSectionStack = null;
     }
     else
     {
         highlightedSectionStack = new Stack <HighlightedSection>();
         foreach (HighlightingSpan span in spanStack.Reverse())
         {
             PushColor(span.SpanColor);
         }
     }
 }

Exemplo n.º 3

Arquivo: DocumentHighlighter.cs Projeto: aldyjepara/flood

        void PopColor()
        {
            if (highlightedLine == null)
            {
                return;
            }
            HighlightedSection s = highlightedSectionStack.Pop();

            if (s != null)
            {
                s.Length = (position + lineStartOffset) - s.Offset;
                if (s.Length == 0)
                {
                    highlightedLine.Sections.Remove(s);
                }
                else
                {
                    lastPoppedSection = s;
                }
            }
        }

Exemplo n.º 4

Arquivo: DocumentHighlighter.cs Projeto: chartly/flood

 void ResetColorStack()
 {
     Debug.Assert(position == 0);
     lastPoppedSection = null;
     if (highlightedLine == null) {
         highlightedSectionStack = null;
     } else {
         highlightedSectionStack = new Stack<HighlightedSection>();
         foreach (HighlightingSpan span in spanStack.Reverse()) {
             PushColor(span.SpanColor);
         }
     }
 }

Exemplo n.º 5

Arquivo: DocumentHighlighter.cs Projeto: chartly/flood

 void PushColor(HighlightingColor color)
 {
     if (highlightedLine == null)
         return;
     if (color == null) {
         highlightedSectionStack.Push(null);
     } else if (lastPoppedSection != null && lastPoppedSection.Color == color
                && lastPoppedSection.Offset + lastPoppedSection.Length == position + lineStartOffset)
     {
         highlightedSectionStack.Push(lastPoppedSection);
         lastPoppedSection = null;
     } else {
         HighlightedSection hs = new HighlightedSection {
             Offset = position + lineStartOffset,
             Color = color
         };
         highlightedLine.Sections.Add(hs);
         highlightedSectionStack.Push(hs);
         lastPoppedSection = null;
     }
 }

Exemplo n.º 6

Arquivo: DocumentHighlighter.cs Projeto: chartly/flood

 void PopColor()
 {
     if (highlightedLine == null)
         return;
     HighlightedSection s = highlightedSectionStack.Pop();
     if (s != null) {
         s.Length = (position + lineStartOffset) - s.Offset;
         if (s.Length == 0)
             highlightedLine.Sections.Remove(s);
         else
             lastPoppedSection = s;
     }
 }