public void Deregister() { if (textDocument != null) { textDocument.LineTrackers.Remove(this); textDocument = null; } } }