public void Dispose() { document.Changed -= DocumentChanged; foldingManager.Dispose(); }
public void Dispose() { _document.TextChanged -= DocumentChanged; _foldingManager.Dispose(); }