void RemoveSelectionMarker ()
{
if (selectionMarker == null)
return;
this.textEditor.Document.RemoveMarker (selectionMarker);
selectionMarker = null;
}
/// <summary>
/// Removes a marker from the document.
/// </summary>
/// <returns><c>true</c>, if marker was removed, <c>false</c> otherwise.</returns>
/// <param name="marker">Marker.</param>
public bool RemoveMarker (TextSegmentMarker marker)
{
bool wasRemoved = textSegmentMarkerTree.Remove (marker);
if (wasRemoved) {
var startLine = OffsetToLineNumber (marker.Offset);
var endLine = OffsetToLineNumber (marker.EndOffset);
CommitMultipleLineUpdate (startLine, endLine);
}
return wasRemoved;
}
public void AddMarker (TextSegmentMarker marker)
{
textSegmentMarkerTree.Add (marker);
var startLine = OffsetToLineNumber (marker.Offset);
var endLine = OffsetToLineNumber (marker.EndOffset);
CommitMultipleLineUpdate (startLine, endLine);
}
/// <summary>
/// Removes a marker from the document.
/// </summary>
/// <returns><c>true</c>, if marker was removed, <c>false</c> otherwise.</returns>
/// <param name="marker">Marker.</param>
public bool RemoveMarker (TextSegmentMarker marker)
{
bool wasRemoved = textSegmentMarkerTree.Remove (marker);
if (wasRemoved)
CommitLineUpdate (GetLineByOffset (marker.Offset));
return wasRemoved;
}
public void AddMarker (TextSegmentMarker marker)
{
CommitLineUpdate (GetLineByOffset (marker.Offset));
textSegmentMarkerTree.Add (marker);
}
public static void Push(string filename, TextSegmentMarker marker)
{
stack.Push(new NavigationMarker(filename, marker));
}
public NavigationMarker(string filename, TextSegmentMarker marker)
{
this.FileName = filename;
this.SegmentMarker = marker;
}
public void RemoveMarker (TextSegmentMarker marker)
{
textSegmentMarkerTree.Remove (marker);
}
public void AddMarker (TextSegmentMarker marker)
{
textSegmentMarkerTree.Add (marker);
}
/// <summary>
/// Removes a marker from the document.
/// </summary>
/// <returns><c>true</c>, if marker was removed, <c>false</c> otherwise.</returns>
/// <param name="marker">Marker.</param>
public bool RemoveMarker (TextSegmentMarker marker)
{
CommitLineUpdate (GetLineByOffset (marker.Offset));
return textSegmentMarkerTree.Remove (marker);
}
