/// <summary>
/// Determines whether the given marker is read-only.
/// </summary>
/// <param name="marker">The marker.</param>
/// <returns>
/// <see langword="true"/> if the specified marker is read-only; otherwise, <see langword="false"/>.
/// </returns>
public static bool IsReadOnlyPredicate(Marker marker)
{
return marker.IsReadOnly;
}
private void Zigzag(object sender, EventArgs e)
{
if (!textEditorControl.ActiveTextAreaControl.TextArea.SelectionManager.HasSomethingSelected)
return;
foreach (ISelection selection in textEditorControl.ActiveTextAreaControl.TextArea.SelectionManager.Selections)
{
Marker marker = new Marker(selection.Offset, selection.Length, MarkerType.WaveLine, Color.Red);
textEditorControl.Document.MarkerStrategy.AddMarker(marker);
}
textEditorControl.Refresh();
}
void DrawTextMarker(Graphics g, Marker marker, RectangleF drawingRect)
{
// draw markers later so they can overdraw the following text
_markersToDraw.Add(new MarkerToDraw(marker, drawingRect));
}
public MarkerToDraw(Marker marker, RectangleF drawingRectangle)
{
Marker = marker;
DrawingRectangle = drawingRectangle;
}
/// <summary>
/// Adds a text marker.
/// </summary>
/// <param name="item">The text marker.</param>
public void AddMarker(Marker item)
{
markersTable.Clear();
_textMarkers.Add(item);
}
/// <summary>
/// Removes a text marker.
/// </summary>
/// <param name="item">The text marker.</param>
public void RemoveMarker(Marker item)
{
markersTable.Clear();
_textMarkers.Remove(item);
}
/// <summary>
/// Inserts a text marker.
/// </summary>
/// <param name="index">The index at which to insert the marker.</param>
/// <param name="item">The text marker.</param>
public void InsertMarker(int index, Marker item)
{
markersTable.Clear();
_textMarkers.Insert(index, item);
}
