本文整理汇总了C#中ICSharpCode.TextEditor.TextEditorControl.Refresh方法的典型用法代码示例。如果您正苦于以下问题:C# TextEditorControl.Refresh方法的具体用法?C# TextEditorControl.Refresh怎么用?C# TextEditorControl.Refresh使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类ICSharpCode.TextEditor.TextEditorControl
的用法示例。
在下文中一共展示了TextEditorControl.Refresh方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: SelectText
public static void SelectText(TextEditorControl textArea, int offset, int endOffset)
{
int textLength = textArea.ActiveTextAreaControl.Document.TextLength;
if (textLength < endOffset) {
endOffset = textLength - 1;
}
textArea.ActiveTextAreaControl.Caret.Position = textArea.Document.OffsetToPosition(endOffset);
textArea.ActiveTextAreaControl.TextArea.SelectionManager.ClearSelection();
textArea.ActiveTextAreaControl.TextArea.SelectionManager.SetSelection(new DefaultSelection(textArea.Document, textArea.Document.OffsetToPosition(offset),
textArea.Document.OffsetToPosition(endOffset)));
textArea.Refresh();
}
示例2: ShowCodeCoverage
public static void ShowCodeCoverage(TextEditorControl textEditor, string fileName)
{
foreach (CodeCoverageResults results in CodeCoverageService.Results) {
List<CodeCoverageSequencePoint> sequencePoints = results.GetSequencePoints(fileName);
if (sequencePoints.Count > 0) {
codeCoverageHighlighter.AddMarkers(textEditor.Document.MarkerStrategy, sequencePoints);
textEditor.Refresh();
}
}
}