Changeset 2442

Timestamp:

10/20/09 14:20:58 (15 years ago)

Author:

abeham

Message:

changed SplashScreen after discussion with Gabriel (#183)

File:

• trunk/sources/HeuristicLab/SplashScreen.cs (modified) (3 diffs)

trunk/sources/HeuristicLab/SplashScreen.cs

@@ -102 +102 @@
       }
       SetInfoText(info);
+      Application.DoEvents();
     }
 
@@ -114 +115 @@
 
     private void UpdateOpacity() {
-      lock(bigLock) {
-        if(closing) return;
-        if(Opacity > 0.9) {
+      lock (bigLock) {
+        if (closing) return;
+        if (Opacity > 0.9) {
           Opacity = 0.9;
           fadeTimer.Interval = FADE_INTERVAL;
           fadeTimer.Start();
-        } else if(this.Opacity > 0) {
+        } else if (this.Opacity > 0) {
           Opacity -= 0.1;
           fadeTimer.Start();
@@ -131 +132 @@
 
     private void closeButton_Click(object sender, EventArgs e) {
-      lock(bigLock) {
-        if(fadeTimer != null) fadeTimer.Stop();
-        CloseSplashScreen();
-      }
+      CloseSplashScreen();
     }
 
     private void CloseSplashScreen() {
-      if (!closing) { // just close once
-        closing = true;
-        PluginManager.Manager.Action -= new PluginManagerActionEventHandler(this.Manager_Action); // remove event before calling close
-        Application.DoEvents(); // work up all existing events
-        Close(); // close
+      lock (bigLock) {
+        if (!closing) { // just close once
+          closing = true;
+          if (fadeTimer != null) fadeTimer.Stop();
+          PluginManager.Manager.Action -= new PluginManagerActionEventHandler(this.Manager_Action); // remove event before calling close
+          Application.DoEvents(); // work up all existing events
+          Close(); // close
+        }
       }
     }