public void Dispose () { if (!disposed) { disposed = true; if (ProgressMonitor != null) { ProgressMonitor.Dispose (); ProgressMonitor = null; } } }
public void Dispose() { if (!disposed) { disposed = true; if (ProgressMonitor != null) { ProgressMonitor.Dispose(); ProgressMonitor = null; } } }