public TextMarker(TextMarkerService service, int startOffset, int length)
{
if (service == null)
throw new ArgumentNullException("service");
_service = service;
StartOffset = startOffset;
Length = length;
}
public Bookmark(BookmarkType bookmarkType, TextMarkerService textMarkerService, int lineNumber, int column, int startOffset, int length, string message, string fileName)
{
BookmarkType = bookmarkType;
LineNumber = lineNumber;
Message = message;
_textMarkerService = textMarkerService;
_errorList = IoC.Get<IErrorList>();
InitializeBookmark(textMarkerService, lineNumber, column, startOffset, length, message, fileName);
}
public RunbookView()
{
InitializeComponent();
//Loaded += (sender, e) => MoveFocus(new TraversalRequest(FocusNavigationDirection.Next));
_textMarkerService = new TextMarkerService(TextEditor);
TextEditor.TextArea.TextView.BackgroundRenderers.Add(_textMarkerService);
TextEditor.TextArea.TextView.LineTransformers.Add(_textMarkerService);
TextEditor.MouseRightButtonDown += OnMouseRightButtonDown;
}
private void InitializeBookmark(TextMarkerService textMarkerService, int lineNumber, int column, int startOffset, int length, string message, string fileName)
{
// Create a text marker
OffsetInLine = column;
TextMarker = textMarkerService.TryCreate(startOffset, length);
if (TextMarker != null)
{
switch (BookmarkType)
{
case BookmarkType.AnalyzerInfo:
TextMarker.MarkerColor = Colors.AliceBlue;
break;
case BookmarkType.AnalyzerWarning:
TextMarker.MarkerColor = Colors.DarkGoldenrod;
break;
}
}
var errorListItemType = default(ErrorListItemType);
switch (BookmarkType)
{
case BookmarkType.AnalyzerInfo:
errorListItemType = ErrorListItemType.Message;
break;
case BookmarkType.AnalyzerWarning:
errorListItemType = ErrorListItemType.Warning;
break;
}
// Create an error list item
Execute.OnUIThread(() =>
{
lock (_lock)
{
ErrorListItem = new ErrorListItem(errorListItemType, _errorList.Items.Count, message, fileName, lineNumber, column);
_errorList.Items.Add(ErrorListItem);
}
});
}
private void InitializeBookmark(TextMarkerService textMarkerService, int lineNumber, int column, int startOffset, int length, string message, string fileName)
{
// Create a text marker
OffsetInLine = column;
TextMarker = textMarkerService.TryCreate(startOffset, length);
if (TextMarker != null)
{
switch (BookmarkType)
{
case BookmarkType.AnalyzerInfo:
TextMarker.MarkerColor = Colors.AliceBlue;
break;
case BookmarkType.AnalyzerWarning:
TextMarker.MarkerColor = Colors.DarkGoldenrod;
break;
}
}
var errorListItemType = default(ErrorListItemType);
switch (BookmarkType)
{
case BookmarkType.AnalyzerInfo:
errorListItemType = ErrorListItemType.Message;
break;
case BookmarkType.AnalyzerWarning:
errorListItemType = ErrorListItemType.Warning;
break;
}
// Create an error list item
Execute.OnUIThread(() =>
{
lock (_lock)
{
ErrorListItem = new ErrorListItem(errorListItemType, _errorList.Items.Count, message, fileName, lineNumber, column);
_errorList.Items.Add(ErrorListItem);
}
});
}
public BookmarkManager(TextMarkerService textMarkerService)
{
_bookmarks = new ObservableCollection <Bookmark>();
_textMarkerService = textMarkerService;
}
public TextMarkerToolTipProvider(TextMarkerService textMarkerService, CodeEditor editor)
{
_textMarkerService = textMarkerService;
_editor = editor;
}
public BookmarkManager(TextMarkerService textMarkerService)
{
_bookmarks = new ObservableCollection<Bookmark>();
_textMarkerService = textMarkerService;
}
public TextMarkerToolTipProvider(TextMarkerService textMarkerService, CodeEditor editor)
{
_textMarkerService = textMarkerService;
_editor = editor;
}