private void WorkspaceView_OnDirtyChanged(object sender, DirtyChangedEventArgs e) { refreshUIState(); }
private void resultsViewController_OnDirtyChanged(object sender, DirtyChangedEventArgs e) { onDirty(e.IsDirty); }
private void Workspace_OnDirtyChanged(object sender, DirtyChangedEventArgs e) { IsDirty = e.IsDirty; }