public SearchResultNode(IDocument document, SearchResultMatch result) { drawDefault = false; this.result = result; startPosition = result.GetStartPosition(document); TextLocation endPosition = result.GetEndPosition(document); positionText = "(" + (startPosition.Y + 1) + ", " + (startPosition.X + 1) + ") "; LineSegment line = document.GetLineSegment(startPosition.Y); drawableLine = new DrawableLine(document, line, RegularMonospacedFont, BoldMonospacedFont); drawableLine.SetBold(0, drawableLine.LineLength, false); if (startPosition.Y == endPosition.Y) { drawableLine.SetBold(startPosition.X, endPosition.X, true); } specialText = result.DisplayText; if (specialText != null) { displayText = positionText + specialText; } else { displayText = positionText + document.GetText(line).Replace("\t", " "); } Text = displayText; }
public SearchResultNode(SearchResultMatch result) { this.result = result; IDocument document = result.CreateDocument(); var startPosition = result.GetStartPosition(document); int lineNumber = startPosition.Line; int column = startPosition.Column; this.anchor = new PermanentAnchor(result.FileName, lineNumber, column); anchor.SurviveDeletion = true; if (lineNumber >= 1 && lineNumber <= document.TotalNumberOfLines) { IDocumentLine matchedLine = document.GetLine(lineNumber); inlineBuilder = new HighlightedInlineBuilder(matchedLine.Text); inlineBuilder.SetFontFamily(0, inlineBuilder.Text.Length, resultLineFamily); IHighlighter highlighter = document.GetService(typeof(IHighlighter)) as IHighlighter; if (highlighter != null) { HighlightedLine highlightedLine = highlighter.HighlightLine(lineNumber); int startOffset = highlightedLine.DocumentLine.Offset; // copy only the foreground color foreach (HighlightedSection section in highlightedLine.Sections) { if (section.Color.Foreground != null) { inlineBuilder.SetForeground(section.Offset - startOffset, section.Length, section.Color.Foreground.GetBrush(null)); } } } // now highlight the match in bold if (column >= 1) { var endPosition = result.GetEndPosition(document); if (endPosition.Line == startPosition.Line && endPosition.Column > startPosition.Column) { // subtract one from the column to get the offset inside the line's text int startOffset = column - 1; int endOffset = Math.Min(inlineBuilder.Text.Length, endPosition.Column - 1); inlineBuilder.SetFontWeight(startOffset, endOffset - startOffset, FontWeights.Bold); } } } }
public SearchResultNode(IDocument document, SearchResultMatch result) { drawDefault = false; this.result = result; startPosition = result.GetStartPosition(document); TextLocation endPosition = result.GetEndPosition(document); positionText = "(" + (startPosition.Y + 1) + ", " + (startPosition.X + 1) + ") "; LineSegment line = document.GetLineSegment(startPosition.Y); drawableLine = new DrawableLine(document, line, RegularMonospacedFont, BoldMonospacedFont); drawableLine.SetBold(0, drawableLine.LineLength, false); if (startPosition.Y == endPosition.Y) { drawableLine.SetBold(startPosition.X, endPosition.X, true); } specialText = result.DisplayText; if (specialText != null) { displayText = positionText + specialText; } else { displayText = positionText + document.GetText(line).Replace("\t", " "); } Text = displayText; }