void TryInjectDiffbasedMarker() { if (doc != null && diffMarker == null) { doc.AddMarker(diffMarker = new DiffbasedMarker(guiDoc != null && guiDoc.Editor != null ? guiDoc.Editor.Length : doc.TextLength)); } }
void TryRemoveDiffbasedMarker() { if (doc != null && diffMarker != null) { doc.RemoveMarker(diffMarker); } diffMarker = null; }
void TryRemoveDiffbasedMarker() { if (doc != null && diffMarker != null) doc.RemoveMarker(diffMarker); diffMarker = null; }
void TryInjectDiffbasedMarker() { if (doc != null && diffMarker == null) doc.AddMarker(diffMarker = new DiffbasedMarker(guiDoc != null && guiDoc.Editor != null ? guiDoc.Editor.Length : doc.TextLength)); }