- Timestamp:
- 06/19/11 23:21:21 (13 years ago)
- Location:
- branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.HiveEngine.Views/3.4
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.HiveEngine.Views/3.4/HiveEngineView.Designer.cs
r6426 r6444 60 60 this.resourceIdsTextBox.Location = new System.Drawing.Point(189, 52); 61 61 this.resourceIdsTextBox.Name = "resourceIdsTextBox"; 62 this.resourceIdsTextBox.Size = new System.Drawing.Size( 319, 20);62 this.resourceIdsTextBox.Size = new System.Drawing.Size(428, 20); 63 63 this.resourceIdsTextBox.TabIndex = 4; 64 64 this.resourceIdsTextBox.Text = "HEAL"; … … 184 184 this.isPrivilegedCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right))); 185 185 this.isPrivilegedCheckBox.AutoSize = true; 186 this.isPrivilegedCheckBox.Location = new System.Drawing.Point( 514, 55);186 this.isPrivilegedCheckBox.Location = new System.Drawing.Point(623, 54); 187 187 this.isPrivilegedCheckBox.Name = "isPrivilegedCheckBox"; 188 188 this.isPrivilegedCheckBox.Size = new System.Drawing.Size(80, 17); … … 190 190 this.isPrivilegedCheckBox.Text = "IsPrivileged"; 191 191 this.isPrivilegedCheckBox.UseVisualStyleBackColor = true; 192 this.isPrivilegedCheckBox. CheckedChanged += new System.EventHandler(this.isPrivilegedCheckBox_CheckedChanged);192 this.isPrivilegedCheckBox.Validated += new System.EventHandler(this.isPrivilegedCheckBox_Validated); 193 193 // 194 194 // HiveEngineView -
branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.HiveEngine.Views/3.4/HiveEngineView.cs
r6426 r6444 109 109 } 110 110 111 private void isPrivilegedCheckBox_ CheckedChanged(object sender, EventArgs e) {111 private void isPrivilegedCheckBox_Validated(object sender, EventArgs e) { 112 112 Content.IsPrivileged = isPrivilegedCheckBox.Checked; 113 113 } 114 114 #endregion 115 116 117 115 } 118 116 }
Note: See TracChangeset
for help on using the changeset viewer.