1 | namespace HeuristicLab.CodeEditor {
|
---|
2 | partial class GoToLineDialog {
|
---|
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 Windows Form 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.cancelButton = new System.Windows.Forms.Button();
|
---|
28 | this.okButton = new System.Windows.Forms.Button();
|
---|
29 | this.lineNumberLabel = new System.Windows.Forms.Label();
|
---|
30 | this.lineNumberTextBox = new System.Windows.Forms.TextBox();
|
---|
31 | this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
|
---|
32 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
|
---|
33 | this.SuspendLayout();
|
---|
34 | //
|
---|
35 | // cancelButton
|
---|
36 | //
|
---|
37 | this.cancelButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
38 | this.cancelButton.DialogResult = System.Windows.Forms.DialogResult.Cancel;
|
---|
39 | this.cancelButton.Location = new System.Drawing.Point(156, 51);
|
---|
40 | this.cancelButton.Name = "cancelButton";
|
---|
41 | this.cancelButton.Size = new System.Drawing.Size(75, 23);
|
---|
42 | this.cancelButton.TabIndex = 2;
|
---|
43 | this.cancelButton.Text = "&Cancel";
|
---|
44 | this.cancelButton.UseVisualStyleBackColor = true;
|
---|
45 | //
|
---|
46 | // okButton
|
---|
47 | //
|
---|
48 | this.okButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
49 | this.okButton.DialogResult = System.Windows.Forms.DialogResult.OK;
|
---|
50 | this.okButton.Enabled = false;
|
---|
51 | this.okButton.Location = new System.Drawing.Point(75, 51);
|
---|
52 | this.okButton.Name = "okButton";
|
---|
53 | this.okButton.Size = new System.Drawing.Size(75, 23);
|
---|
54 | this.okButton.TabIndex = 1;
|
---|
55 | this.okButton.Text = "&OK";
|
---|
56 | this.okButton.UseVisualStyleBackColor = true;
|
---|
57 | //
|
---|
58 | // lineNumberLabel
|
---|
59 | //
|
---|
60 | this.lineNumberLabel.AutoSize = true;
|
---|
61 | this.lineNumberLabel.Location = new System.Drawing.Point(12, 9);
|
---|
62 | this.lineNumberLabel.Name = "lineNumberLabel";
|
---|
63 | this.lineNumberLabel.Size = new System.Drawing.Size(94, 13);
|
---|
64 | this.lineNumberLabel.TabIndex = 3;
|
---|
65 | this.lineNumberLabel.Text = "Line Number (1-1):";
|
---|
66 | //
|
---|
67 | // lineNumberTextBox
|
---|
68 | //
|
---|
69 | this.lineNumberTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
70 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
71 | this.lineNumberTextBox.Location = new System.Drawing.Point(15, 25);
|
---|
72 | this.lineNumberTextBox.Name = "lineNumberTextBox";
|
---|
73 | this.lineNumberTextBox.Size = new System.Drawing.Size(212, 20);
|
---|
74 | this.lineNumberTextBox.TabIndex = 0;
|
---|
75 | this.lineNumberTextBox.TextChanged += new System.EventHandler(this.lineNumberTextBox_TextChanged);
|
---|
76 | //
|
---|
77 | // errorProvider
|
---|
78 | //
|
---|
79 | this.errorProvider.BlinkStyle = System.Windows.Forms.ErrorBlinkStyle.NeverBlink;
|
---|
80 | this.errorProvider.ContainerControl = this;
|
---|
81 | //
|
---|
82 | // GoToLineDialog
|
---|
83 | //
|
---|
84 | this.AcceptButton = this.okButton;
|
---|
85 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
|
---|
86 | this.CancelButton = this.cancelButton;
|
---|
87 | this.ClientSize = new System.Drawing.Size(243, 86);
|
---|
88 | this.Controls.Add(this.lineNumberTextBox);
|
---|
89 | this.Controls.Add(this.lineNumberLabel);
|
---|
90 | this.Controls.Add(this.cancelButton);
|
---|
91 | this.Controls.Add(this.okButton);
|
---|
92 | this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedDialog;
|
---|
93 | this.MaximizeBox = false;
|
---|
94 | this.MinimizeBox = false;
|
---|
95 | this.Name = "GoToLineDialog";
|
---|
96 | this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
|
---|
97 | this.Text = "Go To Line";
|
---|
98 | this.Load += new System.EventHandler(this.GoToLineDialog_Load);
|
---|
99 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
|
---|
100 | this.ResumeLayout(false);
|
---|
101 | this.PerformLayout();
|
---|
102 |
|
---|
103 | }
|
---|
104 |
|
---|
105 | #endregion
|
---|
106 |
|
---|
107 | private System.Windows.Forms.Button cancelButton;
|
---|
108 | private System.Windows.Forms.Button okButton;
|
---|
109 | private System.Windows.Forms.Label lineNumberLabel;
|
---|
110 | private System.Windows.Forms.TextBox lineNumberTextBox;
|
---|
111 | private System.Windows.Forms.ErrorProvider errorProvider;
|
---|
112 | }
|
---|
113 | } |
---|