Changeset 17 for trunk/sources/HeuristicLab

Timestamp:

02/20/08 14:56:45 (17 years ago)

Author:

gkronber

Message:

hide the starter only when the plugin-manager is running.
don't close the starter when an application is running.

Location:

trunk/sources/HeuristicLab

Files:

• MainForm.cs (modified) (1 diff)
• SplashScreen.cs (modified) (1 diff)

trunk/sources/HeuristicLab/MainForm.cs

@@ -92 +92 @@
           splashScreen.Owner = this;
           splashScreen.Show();
-          this.Visible = false;
           PluginManager.Manager.Action += new PluginManagerActionEventHandler(splashScreen.Manager_Action);
-          PluginManager.Manager.Run(app);
-          this.Visible = true;
+          Thread t = new Thread(delegate() {
+            PluginManager.Manager.Run(app);
+          });
+          t.SetApartmentState(ApartmentState.STA);
+          t.Start();
         }
       }

trunk/sources/HeuristicLab/SplashScreen.cs

@@ -118 +118 @@
 
     private void fadeTimer_Tick(object sender, EventArgs e) {
-      if(Opacity > 0.9) {
-        Opacity = 0.9;
-      } else if(this.Opacity > 0) {
-        Opacity -= 0.1;
+      if(InvokeRequired) {
+        Invoke((MethodInvoker)delegate() {
+          if(Opacity > 0.9) {
+            Opacity = 0.9;
+          } else if(this.Opacity > 0) {
+            Opacity -= 0.1;
+          } else {
+            Opacity = 0;
+            fadeTimer.Stop();
+            Close();
+          }
+        });
       } else {
-        Opacity = 0;
-        fadeTimer.Stop();
-        Close();
+        if(Opacity > 0.9) {
+          Opacity = 0.9;
+        } else if(this.Opacity > 0) {
+          Opacity -= 0.1;
+        } else {
+          Opacity = 0;
+          fadeTimer.Stop();
+          Close();
+        }
       }
     }