[15771] | 1 | namespace HeuristicLab.Problems.ProgramSynthesis { |
---|
[14952] | 2 | partial class ErcOptionsView {
|
---|
| 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.PossibilityLabel = new System.Windows.Forms.Label();
|
---|
| 27 | this.possibilityTextBox = new System.Windows.Forms.TextBox();
|
---|
[15771] | 28 | this.ErcOptionListView = new CheckedErcItemCollectionView();
|
---|
[14952] | 29 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
|
---|
| 30 | this.SuspendLayout();
|
---|
| 31 | //
|
---|
| 32 | // nameTextBox
|
---|
| 33 | //
|
---|
| 34 | this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
|
---|
| 35 | this.errorProvider.SetIconPadding(this.nameTextBox, 2);
|
---|
[15017] | 36 | this.nameTextBox.Location = new System.Drawing.Point(75, 0);
|
---|
| 37 | this.nameTextBox.Size = new System.Drawing.Size(633, 20);
|
---|
[14952] | 38 | //
|
---|
| 39 | // infoLabel
|
---|
| 40 | //
|
---|
| 41 | this.infoLabel.Location = new System.Drawing.Point(714, 3);
|
---|
| 42 | //
|
---|
| 43 | // PossibilityLabel
|
---|
| 44 | //
|
---|
| 45 | this.PossibilityLabel.AutoSize = true;
|
---|
| 46 | this.PossibilityLabel.Location = new System.Drawing.Point(5, 28);
|
---|
| 47 | this.PossibilityLabel.Name = "PossibilityLabel";
|
---|
| 48 | this.PossibilityLabel.Size = new System.Drawing.Size(55, 13);
|
---|
| 49 | this.PossibilityLabel.TabIndex = 0;
|
---|
| 50 | this.PossibilityLabel.Text = "Possibility:";
|
---|
| 51 | //
|
---|
| 52 | // possibilityTextBox
|
---|
| 53 | //
|
---|
| 54 | this.possibilityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 55 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[15017] | 56 | this.possibilityTextBox.Location = new System.Drawing.Point(75, 25);
|
---|
[14952] | 57 | this.possibilityTextBox.Name = "possibilityTextBox";
|
---|
[15017] | 58 | this.possibilityTextBox.Size = new System.Drawing.Size(658, 20);
|
---|
| 59 | this.possibilityTextBox.TabIndex = 2;
|
---|
[14952] | 60 | //
|
---|
| 61 | // ErcOptionListView
|
---|
| 62 | //
|
---|
| 63 | this.ErcOptionListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 64 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 65 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 66 | this.ErcOptionListView.Caption = "View";
|
---|
| 67 | this.ErcOptionListView.Content = null;
|
---|
| 68 | this.ErcOptionListView.Location = new System.Drawing.Point(0, 51);
|
---|
| 69 | this.ErcOptionListView.Name = "ErcOptionListView";
|
---|
| 70 | this.ErcOptionListView.ReadOnly = false;
|
---|
[15017] | 71 | this.ErcOptionListView.ShowDetails = true;
|
---|
[14952] | 72 | this.ErcOptionListView.Size = new System.Drawing.Size(733, 434);
|
---|
| 73 | this.ErcOptionListView.TabIndex = 3;
|
---|
| 74 | //
|
---|
| 75 | // ErcOptionsView
|
---|
| 76 | //
|
---|
| 77 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
| 78 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
| 79 | this.Controls.Add(this.ErcOptionListView);
|
---|
| 80 | this.Controls.Add(this.possibilityTextBox);
|
---|
| 81 | this.Controls.Add(this.PossibilityLabel);
|
---|
| 82 | this.Name = "ErcOptionsView";
|
---|
| 83 | this.Size = new System.Drawing.Size(733, 485);
|
---|
| 84 | this.Controls.SetChildIndex(this.nameLabel, 0);
|
---|
| 85 | this.Controls.SetChildIndex(this.nameTextBox, 0);
|
---|
| 86 | this.Controls.SetChildIndex(this.infoLabel, 0);
|
---|
| 87 | this.Controls.SetChildIndex(this.PossibilityLabel, 0);
|
---|
| 88 | this.Controls.SetChildIndex(this.possibilityTextBox, 0);
|
---|
| 89 | this.Controls.SetChildIndex(this.ErcOptionListView, 0);
|
---|
| 90 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
|
---|
| 91 | this.ResumeLayout(false);
|
---|
| 92 | this.PerformLayout();
|
---|
| 93 |
|
---|
| 94 | }
|
---|
| 95 |
|
---|
| 96 | #endregion
|
---|
| 97 |
|
---|
| 98 | private System.Windows.Forms.Label PossibilityLabel;
|
---|
| 99 | private System.Windows.Forms.TextBox possibilityTextBox;
|
---|
| 100 | private CheckedErcItemCollectionView ErcOptionListView;
|
---|
| 101 | }
|
---|
| 102 | }
|
---|