Esempio n. 1
0
        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;
            }
        }
Esempio n. 2
0
 private void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e)
 {
     Save();
 }
Esempio n. 3
0
 void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e) => Save();
Esempio n. 4
0
 private void ExceptionManager_Changed(object sender, ExceptionManagerEventArgs e)
 {
     Save();
 }
Esempio n. 5
0
		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;
			}
		}