void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e) { switch (e.EventType) { case ExceptionManagerEventType.Restored: InitializeDefaultExceptions(); break; case ExceptionManagerEventType.Removed: Remove((List <ExceptionInfo>)e.Argument); break; case ExceptionManagerEventType.Added: Add((ExceptionInfo)e.Argument); break; case ExceptionManagerEventType.ExceptionInfoPropertyChanged: break; default: Debug.Fail(string.Format("Unknown type: {0}", e.EventType)); break; } }
private void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e) { Save(); }
void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e) => Save();
void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e) { switch (e.EventType) { case ExceptionManagerEventType.Restored: InitializeDefaultExceptions(); break; case ExceptionManagerEventType.Removed: Remove((List<ExceptionInfo>)e.Argument); break; case ExceptionManagerEventType.Added: Add((ExceptionInfo)e.Argument); break; case ExceptionManagerEventType.ExceptionInfoPropertyChanged: break; default: Debug.Fail(string.Format("Unknown type: {0}", e.EventType)); break; } }