Example #1
0
 void TryInjectDiffbasedMarker()
 {
     if (doc != null && diffMarker == null)
     {
         doc.AddMarker(diffMarker = new DiffbasedMarker(guiDoc != null && guiDoc.Editor != null ? guiDoc.Editor.Length : doc.TextLength));
     }
 }
Example #2
0
 void TryRemoveDiffbasedMarker()
 {
     if (doc != null && diffMarker != null)
     {
         doc.RemoveMarker(diffMarker);
     }
     diffMarker = null;
 }
Example #3
0
 void TryRemoveDiffbasedMarker()
 {
     if (doc != null && diffMarker != null)
         doc.RemoveMarker(diffMarker);
     diffMarker = null;
 }
Example #4
0
 void TryInjectDiffbasedMarker()
 {
     if (doc != null && diffMarker == null)
         doc.AddMarker(diffMarker = new DiffbasedMarker(guiDoc != null && guiDoc.Editor != null ? guiDoc.Editor.Length : doc.TextLength));
 }