Changeset 17 for trunk/sources/HeuristicLab/SplashScreen.cs

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.

File:

• trunk/sources/HeuristicLab/SplashScreen.cs (modified) (1 diff)

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();
+        }
       }
     }