BioCore  5.0.0
A Windows .NET microscopy library and application for viewing, editing, and annotating images.
Loading...
Searching...
No Matches
Scripting.Designer.cs
Go to the documentation of this file.
1namespace BioCore
2{
3 partial class Scripting
4 {
8 private System.ComponentModel.IContainer components = null;
9
14 protected override void Dispose(bool disposing)
15 {
16 if (disposing && (components != null))
17 {
18 components.Dispose();
19 }
20 base.Dispose(disposing);
21 }
22
23 #region Windows Form Designer generated code
24
29 private void InitializeComponent()
30 {
31 this.components = new System.ComponentModel.Container();
32 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Scripting));
33 this.scriptView = new System.Windows.Forms.ListView();
34 this.contextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
35 this.runToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
36 this.openScriptFolderToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
37 this.refreshToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
38 this.timer = new System.Windows.Forms.Timer(this.components);
39 this.tabControl = new System.Windows.Forms.TabControl();
40 this.outputTab = new System.Windows.Forms.TabPage();
41 this.outputBox = new System.Windows.Forms.TextBox();
42 this.error = new System.Windows.Forms.TabPage();
43 this.errorView = new System.Windows.Forms.ListView();
44 this.logTabPage = new System.Windows.Forms.TabPage();
45 this.logBox = new System.Windows.Forms.TextBox();
46 this.label1 = new System.Windows.Forms.Label();
47 this.scriptLabel = new System.Windows.Forms.Label();
48 this.runButton = new System.Windows.Forms.Button();
49 this.saveButton = new System.Windows.Forms.Button();
50 this.scriptLoadBut = new System.Windows.Forms.Button();
51 this.openFileDialog = new System.Windows.Forms.OpenFileDialog();
52 this.saveFileDialog = new System.Windows.Forms.SaveFileDialog();
53 this.stopBut = new System.Windows.Forms.Button();
54 this.splitContainer = new System.Windows.Forms.SplitContainer();
55 this.topMostBox = new System.Windows.Forms.CheckBox();
56 this.headlessBox = new System.Windows.Forms.CheckBox();
57 this.contextMenuStrip.SuspendLayout();
58 this.tabControl.SuspendLayout();
59 this.outputTab.SuspendLayout();
60 this.error.SuspendLayout();
61 this.logTabPage.SuspendLayout();
62 ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
63 this.splitContainer.Panel2.SuspendLayout();
64 this.splitContainer.SuspendLayout();
65 this.SuspendLayout();
66 //
67 // scriptView
68 //
69 this.scriptView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
70 | System.Windows.Forms.AnchorStyles.Left)));
71 this.scriptView.BackColor = System.Drawing.Color.FromArgb(((int)(((byte)(49)))), ((int)(((byte)(91)))), ((int)(((byte)(138)))));
72 this.scriptView.ContextMenuStrip = this.contextMenuStrip;
73 this.scriptView.ForeColor = System.Drawing.Color.White;
74 this.scriptView.HideSelection = false;
75 this.scriptView.Location = new System.Drawing.Point(0, 0);
76 this.scriptView.MultiSelect = false;
77 this.scriptView.Name = "scriptView";
78 this.scriptView.Size = new System.Drawing.Size(179, 485);
79 this.scriptView.Sorting = System.Windows.Forms.SortOrder.Ascending;
80 this.scriptView.TabIndex = 1;
81 this.scriptView.TabStop = false;
82 this.scriptView.UseCompatibleStateImageBehavior = false;
83 this.scriptView.View = System.Windows.Forms.View.List;
84 this.scriptView.SelectedIndexChanged += new System.EventHandler(this.scriptView_SelectedIndexChanged);
85 this.scriptView.MouseDoubleClick += new System.Windows.Forms.MouseEventHandler(this.scriptView_MouseDoubleClick);
86 //
87 // contextMenuStrip
88 //
89 this.contextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
90 this.runToolStripMenuItem,
91 this.openScriptFolderToolStripMenuItem,
92 this.refreshToolStripMenuItem});
93 this.contextMenuStrip.Name = "contextMenuStrip";
94 this.contextMenuStrip.Size = new System.Drawing.Size(173, 70);
95 //
96 // runToolStripMenuItem
97 //
98 this.runToolStripMenuItem.Name = "runToolStripMenuItem";
99 this.runToolStripMenuItem.Size = new System.Drawing.Size(172, 22);
100 this.runToolStripMenuItem.Text = "Run";
101 this.runToolStripMenuItem.Click += new System.EventHandler(this.runToolStripMenuItem_Click);
102 //
103 // openScriptFolderToolStripMenuItem
104 //
105 this.openScriptFolderToolStripMenuItem.Name = "openScriptFolderToolStripMenuItem";
106 this.openScriptFolderToolStripMenuItem.Size = new System.Drawing.Size(172, 22);
107 this.openScriptFolderToolStripMenuItem.Text = "Open Script Folder";
108 this.openScriptFolderToolStripMenuItem.Click += new System.EventHandler(this.openScriptFolderToolStripMenuItem_Click);
109 //
110 // refreshToolStripMenuItem
111 //
112 this.refreshToolStripMenuItem.Name = "refreshToolStripMenuItem";
113 this.refreshToolStripMenuItem.Size = new System.Drawing.Size(172, 22);
114 this.refreshToolStripMenuItem.Text = "Refresh";
115 this.refreshToolStripMenuItem.Click += new System.EventHandler(this.refreshToolStripMenuItem_Click);
116 //
117 // timer
118 //
119 this.timer.Interval = 200;
120 this.timer.Tick += new System.EventHandler(this.timer_Tick);
121 //
122 // tabControl
123 //
124 this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
125 | System.Windows.Forms.AnchorStyles.Left)
126 | System.Windows.Forms.AnchorStyles.Right)));
127 this.tabControl.Controls.Add(this.outputTab);
128 this.tabControl.Controls.Add(this.error);
129 this.tabControl.Controls.Add(this.logTabPage);
130 this.tabControl.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
131 this.tabControl.Location = new System.Drawing.Point(3, 4);
132 this.tabControl.Name = "tabControl";
133 this.tabControl.SelectedIndex = 0;
134 this.tabControl.Size = new System.Drawing.Size(355, 165);
135 this.tabControl.TabIndex = 8;
136 this.tabControl.TabStop = false;
137 //
138 // outputTab
139 //
140 this.outputTab.Controls.Add(this.outputBox);
141 this.outputTab.Location = new System.Drawing.Point(4, 22);
142 this.outputTab.Name = "outputTab";
143 this.outputTab.Padding = new System.Windows.Forms.Padding(3);
144 this.outputTab.Size = new System.Drawing.Size(347, 139);
145 this.outputTab.TabIndex = 1;
146 this.outputTab.Text = "Output";
147 this.outputTab.UseVisualStyleBackColor = true;
148 //
149 // outputBox
150 //
151 this.outputBox.Dock = System.Windows.Forms.DockStyle.Fill;
152 this.outputBox.Location = new System.Drawing.Point(3, 3);
153 this.outputBox.Multiline = true;
154 this.outputBox.Name = "outputBox";
155 this.outputBox.Size = new System.Drawing.Size(341, 133);
156 this.outputBox.TabIndex = 2;
157 this.outputBox.TabStop = false;
158 //
159 // error
160 //
161 this.error.Controls.Add(this.errorView);
162 this.error.Location = new System.Drawing.Point(4, 22);
163 this.error.Name = "error";
164 this.error.Padding = new System.Windows.Forms.Padding(3);
165 this.error.Size = new System.Drawing.Size(347, 139);
166 this.error.TabIndex = 0;
167 this.error.Text = "Error";
168 this.error.UseVisualStyleBackColor = true;
169 //
170 // errorView
171 //
172 this.errorView.Dock = System.Windows.Forms.DockStyle.Fill;
173 this.errorView.HideSelection = false;
174 this.errorView.Location = new System.Drawing.Point(3, 3);
175 this.errorView.Name = "errorView";
176 this.errorView.Size = new System.Drawing.Size(341, 133);
177 this.errorView.TabIndex = 0;
178 this.errorView.UseCompatibleStateImageBehavior = false;
179 this.errorView.View = System.Windows.Forms.View.List;
180 this.errorView.SelectedIndexChanged += new System.EventHandler(this.errorView_SelectedIndexChanged);
181 //
182 // logTabPage
183 //
184 this.logTabPage.Controls.Add(this.logBox);
185 this.logTabPage.Location = new System.Drawing.Point(4, 22);
186 this.logTabPage.Name = "logTabPage";
187 this.logTabPage.Size = new System.Drawing.Size(347, 139);
188 this.logTabPage.TabIndex = 2;
189 this.logTabPage.Text = "Log";
190 this.logTabPage.UseVisualStyleBackColor = true;
191 //
192 // logBox
193 //
194 this.logBox.Dock = System.Windows.Forms.DockStyle.Fill;
195 this.logBox.Location = new System.Drawing.Point(0, 0);
196 this.logBox.Multiline = true;
197 this.logBox.Name = "logBox";
198 this.logBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
199 this.logBox.Size = new System.Drawing.Size(347, 139);
200 this.logBox.TabIndex = 4;
201 this.logBox.TabStop = false;
202 //
203 // label1
204 //
205 this.label1.AutoSize = true;
206 this.label1.ForeColor = System.Drawing.Color.White;
207 this.label1.Location = new System.Drawing.Point(182, 9);
208 this.label1.Name = "label1";
209 this.label1.Size = new System.Drawing.Size(37, 13);
210 this.label1.TabIndex = 9;
211 this.label1.Text = "Script:";
212 //
213 // scriptLabel
214 //
215 this.scriptLabel.AutoSize = true;
216 this.scriptLabel.ForeColor = System.Drawing.Color.White;
217 this.scriptLabel.Location = new System.Drawing.Point(225, 9);
218 this.scriptLabel.Name = "scriptLabel";
219 this.scriptLabel.Size = new System.Drawing.Size(0, 13);
220 this.scriptLabel.TabIndex = 10;
221 //
222 // runButton
223 //
224 this.runButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
225 this.runButton.Location = new System.Drawing.Point(426, 456);
226 this.runButton.Name = "runButton";
227 this.runButton.Size = new System.Drawing.Size(57, 23);
228 this.runButton.TabIndex = 11;
229 this.runButton.TabStop = false;
230 this.runButton.Text = "Run";
231 this.runButton.UseVisualStyleBackColor = true;
232 this.runButton.Click += new System.EventHandler(this.runButton_Click);
233 //
234 // saveButton
235 //
236 this.saveButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
237 this.saveButton.Location = new System.Drawing.Point(345, 456);
238 this.saveButton.Name = "saveButton";
239 this.saveButton.Size = new System.Drawing.Size(75, 23);
240 this.saveButton.TabIndex = 13;
241 this.saveButton.TabStop = false;
242 this.saveButton.Text = "Save Script";
243 this.saveButton.UseVisualStyleBackColor = true;
244 this.saveButton.Click += new System.EventHandler(this.saveButton_Click);
245 //
246 // scriptLoadBut
247 //
248 this.scriptLoadBut.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
249 this.scriptLoadBut.Location = new System.Drawing.Point(263, 456);
250 this.scriptLoadBut.Name = "scriptLoadBut";
251 this.scriptLoadBut.Size = new System.Drawing.Size(75, 23);
252 this.scriptLoadBut.TabIndex = 12;
253 this.scriptLoadBut.TabStop = false;
254 this.scriptLoadBut.Text = "Load Script";
255 this.scriptLoadBut.UseVisualStyleBackColor = true;
256 this.scriptLoadBut.Click += new System.EventHandler(this.scriptLoadBut_Click);
257 //
258 // openFileDialog
259 //
260 this.openFileDialog.FileName = "openFileDialog";
261 this.openFileDialog.Filter = "\"C# Files (*.cs)|*.cs| IJM Files (*.ijm)|*.ijm| All files (*.*)|*.*\"";
262 //
263 // saveFileDialog
264 //
265 this.saveFileDialog.Filter = "\"C# Files (*.cs)|*.cs| Text Files (*.txt)|*.txt| All files (*.*)|*.*\"";
266 //
267 // stopBut
268 //
269 this.stopBut.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
270 this.stopBut.Location = new System.Drawing.Point(489, 456);
271 this.stopBut.Name = "stopBut";
272 this.stopBut.Size = new System.Drawing.Size(57, 23);
273 this.stopBut.TabIndex = 14;
274 this.stopBut.TabStop = false;
275 this.stopBut.Text = "Stop";
276 this.stopBut.UseVisualStyleBackColor = true;
277 this.stopBut.Click += new System.EventHandler(this.stopBut_Click);
278 //
279 // splitContainer
280 //
281 this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
282 | System.Windows.Forms.AnchorStyles.Left)
283 | System.Windows.Forms.AnchorStyles.Right)));
284 this.splitContainer.Location = new System.Drawing.Point(185, 25);
285 this.splitContainer.Name = "splitContainer";
286 this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
287 //
288 // splitContainer.Panel1
289 //
290 this.splitContainer.Panel1.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
291 //
292 // splitContainer.Panel2
293 //
294 this.splitContainer.Panel2.Controls.Add(this.tabControl);
295 this.splitContainer.Size = new System.Drawing.Size(361, 425);
296 this.splitContainer.SplitterDistance = 243;
297 this.splitContainer.TabIndex = 15;
298 //
299 // topMostBox
300 //
301 this.topMostBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
302 this.topMostBox.AutoSize = true;
303 this.topMostBox.Checked = true;
304 this.topMostBox.CheckState = System.Windows.Forms.CheckState.Checked;
305 this.topMostBox.ForeColor = System.Drawing.Color.White;
306 this.topMostBox.Location = new System.Drawing.Point(475, 8);
307 this.topMostBox.Name = "topMostBox";
308 this.topMostBox.Size = new System.Drawing.Size(71, 17);
309 this.topMostBox.TabIndex = 3;
310 this.topMostBox.Text = "Top Most";
311 this.topMostBox.UseVisualStyleBackColor = true;
312 this.topMostBox.CheckedChanged += new System.EventHandler(this.topMostBox_CheckedChanged);
313 //
314 // headlessBox
315 //
316 this.headlessBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
317 this.headlessBox.AutoSize = true;
318 this.headlessBox.ForeColor = System.Drawing.Color.White;
319 this.headlessBox.Location = new System.Drawing.Point(188, 459);
320 this.headlessBox.Name = "headlessBox";
321 this.headlessBox.Size = new System.Drawing.Size(70, 17);
322 this.headlessBox.TabIndex = 17;
323 this.headlessBox.Text = "Headless";
324 this.headlessBox.UseVisualStyleBackColor = true;
325 //
326 // Scripting
327 //
328 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
329 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
330 this.BackColor = System.Drawing.Color.FromArgb(((int)(((byte)(95)))), ((int)(((byte)(122)))), ((int)(((byte)(156)))));
331 this.ClientSize = new System.Drawing.Size(552, 484);
332 this.Controls.Add(this.headlessBox);
333 this.Controls.Add(this.topMostBox);
334 this.Controls.Add(this.splitContainer);
335 this.Controls.Add(this.stopBut);
336 this.Controls.Add(this.saveButton);
337 this.Controls.Add(this.scriptLoadBut);
338 this.Controls.Add(this.runButton);
339 this.Controls.Add(this.scriptLabel);
340 this.Controls.Add(this.label1);
341 this.Controls.Add(this.scriptView);
342 this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
343 this.Name = "Scripting";
344 this.Text = "Scripting";
345 this.TopMost = true;
346 this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.ScriptRunner_FormClosing);
347 this.KeyDown += new System.Windows.Forms.KeyEventHandler(this.Scripting_KeyDown);
348 this.contextMenuStrip.ResumeLayout(false);
349 this.tabControl.ResumeLayout(false);
350 this.outputTab.ResumeLayout(false);
351 this.outputTab.PerformLayout();
352 this.error.ResumeLayout(false);
353 this.logTabPage.ResumeLayout(false);
354 this.logTabPage.PerformLayout();
355 this.splitContainer.Panel2.ResumeLayout(false);
356 ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
357 this.splitContainer.ResumeLayout(false);
358 this.ResumeLayout(false);
359 this.PerformLayout();
360
361 }
362
363 #endregion
364
365 private System.Windows.Forms.ListView scriptView;
366 private System.Windows.Forms.ContextMenuStrip contextMenuStrip;
367 private System.Windows.Forms.ToolStripMenuItem runToolStripMenuItem;
368 private System.Windows.Forms.ToolStripMenuItem openScriptFolderToolStripMenuItem;
369 private System.Windows.Forms.ToolStripMenuItem refreshToolStripMenuItem;
370 private System.Windows.Forms.Timer timer;
371 private System.Windows.Forms.TabControl tabControl;
372 private System.Windows.Forms.TabPage outputTab;
373 private System.Windows.Forms.TextBox outputBox;
374 private System.Windows.Forms.TabPage error;
375 private System.Windows.Forms.Label label1;
376 private System.Windows.Forms.Label scriptLabel;
377 private System.Windows.Forms.Button runButton;
378 private System.Windows.Forms.Button saveButton;
379 private System.Windows.Forms.Button scriptLoadBut;
380 private System.Windows.Forms.OpenFileDialog openFileDialog;
381 private System.Windows.Forms.SaveFileDialog saveFileDialog;
382 private System.Windows.Forms.TabPage logTabPage;
383 private System.Windows.Forms.TextBox logBox;
384 private System.Windows.Forms.Button stopBut;
385 private System.Windows.Forms.SplitContainer splitContainer;
386 private System.Windows.Forms.CheckBox topMostBox;
387 private System.Windows.Forms.ListView errorView;
388 private System.Windows.Forms.CheckBox headlessBox;
389 }
390}
override void Dispose(bool disposing)
Clean up any resources being used.