Changeset 12689 for branches/HiveStatistics/sources/HeuristicLab.Scripting.Views/3.3

Timestamp:

07/08/15 15:32:12 (9 years ago)

Author:

dglaser

Message:

#2388: Merged trunk into HiveStatistics branch

Location:

branches/HiveStatistics/sources

Files:

• . (modified) (1 prop)
• HeuristicLab.Scripting.Views/3.3/VariableStoreView.cs (modified) (2 diffs)

branches/HiveStatistics/sources/HeuristicLab.Scripting.Views/3.3/VariableStoreView.cs

@@ -368 +368 @@
 
     protected virtual void Content_CollectionReset(object sender, CollectionItemsChangedEventArgs<KeyValuePair<string, object>> e) {
-      if (InvokeRequired)
-        Invoke(new CollectionItemsChangedEventHandler<KeyValuePair<string, object>>(Content_CollectionReset), sender, e);
+      if (InvokeRequired) Invoke((Action<object, CollectionItemsChangedEventArgs<KeyValuePair<string, object>>>)Content_CollectionReset, sender, e);
       else {
         foreach (var item in e.OldItems)
@@ -380 +379 @@
 
     private void item_ToStringChanged(object sender, EventArgs e) {
-      foreach (ListViewItem item in variableListView.Items) {
-        var variable = item.Tag as KeyValuePair<string, object>?;
-        if (variable == null || variable.Value.Value != sender) continue;
-
-        string value = (variable.Value.Value ?? "null").ToString();
-        item.SubItems[1].Text = value;
-        item.SubItems[2].Text = variable.Value.Value.GetType().ToString();
-        SetToolTipText(item, item.ImageIndex != 0);
+      if (InvokeRequired) Invoke((Action<object, EventArgs>)item_ToStringChanged, sender, e);
+      else {
+        foreach (ListViewItem item in variableListView.Items) {
+          var variable = item.Tag as KeyValuePair<string, object>?;
+          if (variable == null || variable.Value.Value != sender) continue;
+
+          string value = (variable.Value.Value ?? "null").ToString();
+          item.SubItems[1].Text = value;
+          item.SubItems[2].Text = variable.Value.Value.GetType().ToString();
+          SetToolTipText(item, item.ImageIndex != 0);
+        }
       }
     }