Changeset 5174 for trunk/sources/HeuristicLab.DebugEngine

Timestamp:

12/24/10 08:54:31 (14 years ago)

Author:

epitzer

Message:

Correctly show whether operator trace is enabled (#47)

Location:

trunk/sources/HeuristicLab.DebugEngine/3.3

Files:

• OperatorTrace.cs (modified) (3 diffs)
• OperatorTraceView.cs (modified) (5 diffs)

trunk/sources/HeuristicLab.DebugEngine/3.3/OperatorTrace.cs

@@ -20 +20 @@
 #endregion
 
+using System;
 using System.Collections.Generic;
 using System.Linq;
@@ -39 +40 @@
     [Storable]
     protected bool isEnabled;
+    #endregion
+
+    #region events
+    public event EventHandler IsEnabledChanged;
+    protected virtual void OnIsEnabledChanged() {
+      EventHandler handler = IsEnabledChanged;
+      if (handler != null)
+        handler(this, EventArgs.Empty);
+    }
     #endregion
 
@@ -134 +144 @@
         if (!isEnabled)
           Reset();
+        OnIsEnabledChanged();
       }
     }

trunk/sources/HeuristicLab.DebugEngine/3.3/OperatorTraceView.cs

@@ -51 +51 @@
       Content.ItemsRemoved -= Content_CollectionChanged;
       Content.ItemsReplaced -= Content_CollectionChanged;
+      Content.IsEnabledChanged -= Content_IsEnabledChanged;
       base.DeregisterContentEvents();
     }
@@ -61 +62 @@
       Content.ItemsRemoved += Content_CollectionChanged;
       Content.ItemsReplaced += Content_CollectionChanged;
+      Content.IsEnabledChanged += Content_IsEnabledChanged;
     }
 
@@ -69 +71 @@
       else
         UpdateOperatorTrace();
+    }
+    void Content_IsEnabledChanged(object sender, EventArgs e) {
+      if (InvokeRequired)
+        Invoke(new EventHandler(Content_IsEnabledChanged), sender, e);
+      else
+        isEnabledCheckbox.Checked = Content.IsEnabled;
     }
     #endregion
@@ -103 +111 @@
       if (Content == null) {
         listView.Items.Clear();
+        isEnabledCheckbox.Checked = false;
       } else {
         UpdateOperatorTrace();
+        isEnabledCheckbox.Checked = Content.IsEnabled;
       }
     }
@@ -122 +132 @@
       }
     }
+    private void isEnabledCheckbox_CheckedChanged(object sender, EventArgs e) {
+      if (Content != null)
+        Content.IsEnabled = isEnabledCheckbox.Checked;
+    }
     #endregion
 
-    private void isEnabledCheckbox_CheckedChanged(object sender, EventArgs e) {
-      Content.IsEnabled = isEnabledCheckbox.Checked;
-    }
+    
   }