- Timestamp:
- 09/26/08 11:29:50 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/3.0/sources/HeuristicLab/SplashScreen.Designer.cs
r2 r598 50 50 this.components = new System.ComponentModel.Container(); 51 51 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(SplashScreen)); 52 this.waitTimer = new System.Windows.Forms.Timer(this.components);53 52 this.panel = new System.Windows.Forms.Panel(); 54 53 this.closeButton = new System.Windows.Forms.Button(); … … 62 61 this.copyrightLabel = new System.Windows.Forms.Label(); 63 62 this.pictureBox = new System.Windows.Forms.PictureBox(); 64 this.fadeTimer = new System.Windows.Forms.Timer(this.components);65 63 this.panel.SuspendLayout(); 66 64 ((System.ComponentModel.ISupportInitialize)(this.pictureBox)).BeginInit(); 67 65 this.SuspendLayout(); 68 //69 // waitTimer70 //71 this.waitTimer.Interval = 1000;72 this.waitTimer.Tick += new System.EventHandler(this.waitTimer_Tick);73 66 // 74 67 // panel … … 205 198 this.pictureBox.TabIndex = 0; 206 199 this.pictureBox.TabStop = false; 207 //208 // fadeTimer209 //210 this.fadeTimer.Interval = 50;211 this.fadeTimer.Tick += new System.EventHandler(this.fadeTimer_Tick);212 200 // 213 201 // SplashScreen … … 235 223 #endregion 236 224 237 private System.Windows.Forms.Timer waitTimer;238 225 private System.Windows.Forms.Panel panel; 239 226 private System.Windows.Forms.PictureBox pictureBox; … … 247 234 private System.Windows.Forms.ImageList imageList; 248 235 private System.Windows.Forms.Button closeButton; 249 private System.Windows.Forms.Timer fadeTimer;250 236 } 251 237 }
Note: See TracChangeset
for help on using the changeset viewer.