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); }