Changeset 2489 for branches/PluginInfrastructure Refactoring/HeuristicLab

Timestamp:

11/12/09 18:41:44 (15 years ago)

Author:

gkronber

Message:

Worked on plugin infrastructure events and the display in the SplashScreen. #799

File:

• branches/PluginInfrastructure Refactoring/HeuristicLab/SplashScreen.cs (modified) (3 diffs)

branches/PluginInfrastructure Refactoring/HeuristicLab/SplashScreen.cs

@@ -47 +47 @@
       infoLabel.Text = initialText;
       this.manager = manager;
-      manager.Action += new PluginManagerActionEventHandler(Manager_Action);
+      manager.Action += managerActionEventHandler;
       Assembly assembly = this.GetType().Assembly;
       object[] attributes = assembly.GetCustomAttributes(false);
@@ -88 +88 @@
     }
 
-    public void Manager_Action(object sender, PluginManagerActionEventArgs e) {
-      string info;
-      if (e.Action == PluginManagerAction.Initializing) info = "Initializing ...";
-      else if (e.Action == PluginManagerAction.PluginLoaded) info = "Loaded plugin " + e.Id + " ...";
-      else if (e.Action == PluginManagerAction.Initialized) {
-        info = "Initialization Completed";
-        fadeTimer = new System.Timers.Timer();
-        fadeTimer.SynchronizingObject = this;
-        fadeTimer.Elapsed += new System.Timers.ElapsedEventHandler(fadeTimer_Elapsed);
-        fadeTimer.Interval = initialInterval;
-        fadeTimer.AutoReset = true;
-        fadeTimer.Start();
-      } else {
-        if (e.Id != null) info = e.Action.ToString() + "   (" + e.Id + ")";
-        else info = e.Action.ToString();
-      }
+    public void managerActionEventHandler(object sender, PluginInfrastructureEventArgs e) {
+      string info = e.Action + ": " + e.EntityName;
+      //if (e.Action == PluginManagerAction.Initializing) info = "Initializing ...";
+      //else if (e.Action == PluginManagerAction.PluginLoaded) info = "Loaded plugin " + e.Id + " ...";
+      //else if (e.Action == PluginManagerAction.Initialized) {
+      //  info = "Initialization Completed";
+      //  fadeTimer = new System.Timers.Timer();
+      //  fadeTimer.SynchronizingObject = this;
+      //  fadeTimer.Elapsed += new System.Timers.ElapsedEventHandler(fadeTimer_Elapsed);
+      //  fadeTimer.Interval = initialInterval;
+      //  fadeTimer.AutoReset = true;
+      //  fadeTimer.Start();
+      //} else {
+      //  if (e.Id != null) info = e.Action.ToString() + "   (" + e.Id + ")";
+      //  else info = e.Action.ToString();
+      //}
       SetInfoText(info);
       Application.DoEvents();
@@ -143 +143 @@
           closing = true;
           if (fadeTimer != null) fadeTimer.Stop();
-          manager.Action -= new PluginManagerActionEventHandler(this.Manager_Action); // remove event before calling close
+          manager.Action -= managerActionEventHandler; // remove event before calling close
           Application.DoEvents(); // work up all existing events
           Close(); // close