source: branches/2965_CancelablePersistence/HeuristicLab.Clients.Hive.Administrator/3.3/Views/ProjectView.Designer.cs @ 16433

Last change on this file since 16433 was 16433, checked in by pfleck, 11 months ago

#2965 Merged recent trunk changes.
Enabled the prepared hooks that allows to cancel the save file using the recently introduced cancelable progressbars (in FileManager).

File size: 10.9 KB
Line 
1namespace HeuristicLab.Clients.Hive.Administrator.Views {
2  partial class ProjectView {
3    /// <summary>
4    /// Required designer variable.
5    /// </summary>
6    private System.ComponentModel.IContainer components = null;
7
8    /// <summary>
9    /// Clean up any resources being used.
10    /// </summary>
11    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12    protected override void Dispose(bool disposing) {
13      if (disposing && (components != null)) {
14        components.Dispose();
15      }
16      base.Dispose(disposing);
17    }
18
19    #region Component Designer generated code
20
21    /// <summary>
22    /// Required method for Designer support - do not modify
23    /// the contents of this method with the code editor.
24    /// </summary>
25    private void InitializeComponent() {
26      this.components = new System.ComponentModel.Container();
27      this.idLabel = new System.Windows.Forms.Label();
28      this.idTextBox = new System.Windows.Forms.TextBox();
29      this.nameLabel = new System.Windows.Forms.Label();
30      this.nameTextBox = new System.Windows.Forms.TextBox();
31      this.descriptionLabel = new System.Windows.Forms.Label();
32      this.descriptionTextBox = new System.Windows.Forms.TextBox();
33      this.ownerComboBox = new System.Windows.Forms.ComboBox();
34      this.ownerLabel = new System.Windows.Forms.Label();
35      this.createdLabel = new System.Windows.Forms.Label();
36      this.startDateTimePicker = new System.Windows.Forms.DateTimePicker();
37      this.startLabel = new System.Windows.Forms.Label();
38      this.endDateTimePicker = new System.Windows.Forms.DateTimePicker();
39      this.endLabel = new System.Windows.Forms.Label();
40      this.indefiniteCheckBox = new System.Windows.Forms.CheckBox();
41      this.createdTextBox = new System.Windows.Forms.TextBox();     
42      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
43      this.SuspendLayout();
44      //
45      // idLabel
46      //
47      this.idLabel.AutoSize = true;
48      this.idLabel.Location = new System.Drawing.Point(3, 11);
49      this.idLabel.Name = "idLabel";
50      this.idLabel.Size = new System.Drawing.Size(19, 13);
51      this.idLabel.TabIndex = 0;
52      this.idLabel.Text = "Id:";
53      //
54      // idTextBox
55      //
56      this.idTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
57            | System.Windows.Forms.AnchorStyles.Right)));
58      this.idTextBox.Location = new System.Drawing.Point(72, 8);
59      this.idTextBox.Name = "idTextBox";
60      this.idTextBox.ReadOnly = true;
61      this.idTextBox.Size = new System.Drawing.Size(464, 20);
62      this.idTextBox.TabIndex = 1;
63      //
64      // nameLabel
65      //
66      this.nameLabel.AutoSize = true;
67      this.nameLabel.Location = new System.Drawing.Point(3, 37);
68      this.nameLabel.Name = "nameLabel";
69      this.nameLabel.Size = new System.Drawing.Size(38, 13);
70      this.nameLabel.TabIndex = 0;
71      this.nameLabel.Text = "Name:";
72      //
73      // nameTextBox
74      //
75      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
76            | System.Windows.Forms.AnchorStyles.Right)));
77      this.nameTextBox.Location = new System.Drawing.Point(72, 34);
78      this.nameTextBox.Name = "nameTextBox";
79      this.nameTextBox.Size = new System.Drawing.Size(464, 20);
80      this.nameTextBox.TabIndex = 2;
81      this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged);
82      this.nameTextBox.Validating += new System.ComponentModel.CancelEventHandler(this.nameTextBox_Validating);
83      //
84      // descriptionLabel
85      //
86      this.descriptionLabel.AutoSize = true;
87      this.descriptionLabel.Location = new System.Drawing.Point(3, 63);
88      this.descriptionLabel.Name = "descriptionLabel";
89      this.descriptionLabel.Size = new System.Drawing.Size(63, 13);
90      this.descriptionLabel.TabIndex = 0;
91      this.descriptionLabel.Text = "Description:";
92      //
93      // descriptionTextBox
94      //
95      this.descriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
96            | System.Windows.Forms.AnchorStyles.Right)));
97      this.descriptionTextBox.Location = new System.Drawing.Point(72, 60);
98      this.descriptionTextBox.Multiline = true;
99      this.descriptionTextBox.Name = "descriptionTextBox";
100      this.descriptionTextBox.Size = new System.Drawing.Size(464, 98);
101      this.descriptionTextBox.TabIndex = 3;
102      this.descriptionTextBox.TextChanged += new System.EventHandler(this.descriptionTextBox_TextChanged);
103      //
104      // ownerLabel
105      //
106      this.ownerLabel.AutoSize = true;
107      this.ownerLabel.Location = new System.Drawing.Point(3, 167);
108      this.ownerLabel.Name = "ownerLabel";
109      this.ownerLabel.Size = new System.Drawing.Size(41, 13);
110      this.ownerLabel.TabIndex = 0;
111      this.ownerLabel.Text = "Owner:";
112      //
113      // ownerComboBox
114      //
115      //this.ownerComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
116      //      | System.Windows.Forms.AnchorStyles.Right)));
117      this.ownerComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
118      this.ownerComboBox.FormattingEnabled = true;
119      this.ownerComboBox.Location = new System.Drawing.Point(72, 164);
120      this.ownerComboBox.Name = "ownerComboBox";
121      this.ownerComboBox.Size = new System.Drawing.Size(200, 21);
122      this.ownerComboBox.TabIndex = 4;
123      this.ownerComboBox.SelectedIndexChanged += new System.EventHandler(this.ownerComboBox_SelectedIndexChanged);
124      //
125      // createdLabel
126      //
127      this.createdLabel.AutoSize = true;
128      this.createdLabel.Location = new System.Drawing.Point(3, 197);
129      this.createdLabel.Name = "createdLabel";
130      this.createdLabel.Size = new System.Drawing.Size(47, 13);
131      this.createdLabel.TabIndex = 8;
132      this.createdLabel.Text = "Created:";
133      //
134      // startDateTimePicker
135      //
136      this.startDateTimePicker.CustomFormat = "ddd, dd.MM.yyyy, HH:mm:ss";
137      this.startDateTimePicker.Enabled = false;
138      this.startDateTimePicker.Format = System.Windows.Forms.DateTimePickerFormat.Custom;
139      this.startDateTimePicker.Location = new System.Drawing.Point(72, 216);
140      this.startDateTimePicker.Name = "startDateTimePicker";
141      this.startDateTimePicker.Size = new System.Drawing.Size(200, 20);
142      this.startDateTimePicker.TabIndex = 9;
143      this.startDateTimePicker.ValueChanged += new System.EventHandler(this.startDateTimePicker_ValueChanged);     
144      //
145      // startLabel
146      //
147      this.startLabel.AutoSize = true;
148      this.startLabel.Location = new System.Drawing.Point(3, 223);
149      this.startLabel.Name = "startLabel";
150      this.startLabel.Size = new System.Drawing.Size(32, 13);
151      this.startLabel.TabIndex = 10;
152      this.startLabel.Text = "Start:";
153      //
154      // endDateTimePicker
155      //
156      this.endDateTimePicker.CustomFormat = "ddd, dd.MM.yyyy, HH:mm:ss";
157      this.endDateTimePicker.Enabled = false;
158      this.endDateTimePicker.Format = System.Windows.Forms.DateTimePickerFormat.Custom;
159      this.endDateTimePicker.Location = new System.Drawing.Point(72, 243);
160      this.endDateTimePicker.Name = "endDateTimePicker";
161      this.endDateTimePicker.Size = new System.Drawing.Size(200, 20);
162      this.endDateTimePicker.TabIndex = 11;
163      this.endDateTimePicker.ValueChanged += new System.EventHandler(this.endDateTimePicker_ValueChanged);
164      //
165      // endLabel
166      //
167      this.endLabel.AutoSize = true;
168      this.endLabel.Location = new System.Drawing.Point(3, 249);
169      this.endLabel.Name = "endLabel";
170      this.endLabel.Size = new System.Drawing.Size(29, 13);
171      this.endLabel.TabIndex = 10;
172      this.endLabel.Text = "End:";
173      //
174      // indefiniteCheckBox
175      //
176      this.indefiniteCheckBox.AutoSize = true;
177      this.indefiniteCheckBox.Location = new System.Drawing.Point(278, 245);
178      this.indefiniteCheckBox.Name = "indefiniteCheckBox";
179      this.indefiniteCheckBox.Size = new System.Drawing.Size(69, 17);
180      this.indefiniteCheckBox.TabIndex = 13;
181      this.indefiniteCheckBox.Text = "Indefinite";
182      this.indefiniteCheckBox.UseVisualStyleBackColor = true;
183      this.indefiniteCheckBox.CheckedChanged += new System.EventHandler(this.indefiniteCheckBox_CheckedChanged);
184      //
185      // createdTextBox
186      //
187      this.createdTextBox.Location = new System.Drawing.Point(72, 190);
188      this.createdTextBox.Name = "createdTextBox";
189      this.createdTextBox.ReadOnly = true;
190      this.createdTextBox.Size = new System.Drawing.Size(200, 20);
191      this.createdTextBox.TabIndex = 14;
192      //
193      // ProjectView
194      //
195      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
196      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
197      this.Controls.Add(this.createdTextBox);
198      this.Controls.Add(this.indefiniteCheckBox);
199      this.Controls.Add(this.endLabel);
200      this.Controls.Add(this.endDateTimePicker);
201      this.Controls.Add(this.startLabel);
202      this.Controls.Add(this.startDateTimePicker);
203      this.Controls.Add(this.createdLabel);
204      this.Controls.Add(this.ownerLabel);
205      this.Controls.Add(this.ownerComboBox);
206      this.Controls.Add(this.descriptionTextBox);
207      this.Controls.Add(this.descriptionLabel);
208      this.Controls.Add(this.nameTextBox);
209      this.Controls.Add(this.nameLabel);
210      this.Controls.Add(this.idTextBox);
211      this.Controls.Add(this.idLabel);
212      this.Name = "ProjectView";
213      this.Size = new System.Drawing.Size(539, 271);
214      this.Load += new System.EventHandler(this.ProjectView_Load);
215      this.ResumeLayout(false);
216      this.PerformLayout();
217
218    }
219
220    #endregion
221
222    private System.Windows.Forms.Label idLabel;
223    protected System.Windows.Forms.TextBox idTextBox;
224    private System.Windows.Forms.Label nameLabel;
225    private System.Windows.Forms.TextBox nameTextBox;
226    private System.Windows.Forms.Label descriptionLabel;
227    private System.Windows.Forms.TextBox descriptionTextBox;
228    private System.Windows.Forms.ComboBox ownerComboBox;
229    private System.Windows.Forms.Label ownerLabel;
230    private System.Windows.Forms.Label createdLabel;
231    private System.Windows.Forms.DateTimePicker startDateTimePicker;
232    private System.Windows.Forms.Label startLabel;
233    private System.Windows.Forms.DateTimePicker endDateTimePicker;
234    private System.Windows.Forms.Label endLabel;
235    private System.Windows.Forms.CheckBox indefiniteCheckBox;
236    private System.Windows.Forms.TextBox createdTextBox;   
237    private System.Windows.Forms.ToolTip toolTip;
238  }
239}
Note: See TracBrowser for help on using the repository browser.