namespace HeuristicLab.BenchmarkGenerator { partial class BenchmarkGeneratorForm { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing && (components != null)) { components.Dispose(); } base.Dispose(disposing); } #region Windows Form Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { this.formulaTextBox = new System.Windows.Forms.RichTextBox(); this.viewHost1 = new HeuristicLab.MainForm.WindowsForms.ViewHost(); this.generateButton = new System.Windows.Forms.Button(); this.SuspendLayout(); // // formulaTextBox // this.formulaTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left))); this.formulaTextBox.Location = new System.Drawing.Point(141, 52); this.formulaTextBox.Name = "formulaTextBox"; this.formulaTextBox.Size = new System.Drawing.Size(353, 431); this.formulaTextBox.TabIndex = 0; this.formulaTextBox.Text = ""; // // viewHost1 // this.viewHost1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.viewHost1.AutoSize = true; this.viewHost1.Caption = "View"; this.viewHost1.Content = null; this.viewHost1.Enabled = false; this.viewHost1.Location = new System.Drawing.Point(500, 52); this.viewHost1.Name = "viewHost1"; this.viewHost1.ReadOnly = false; this.viewHost1.Size = new System.Drawing.Size(385, 431); this.viewHost1.TabIndex = 4; this.viewHost1.ViewsLabelVisible = true; this.viewHost1.ViewType = null; // // generateButton // this.generateButton.Location = new System.Drawing.Point(12, 52); this.generateButton.Name = "generateButton"; this.generateButton.Size = new System.Drawing.Size(123, 24); this.generateButton.TabIndex = 1; this.generateButton.Text = "Generate"; this.generateButton.UseVisualStyleBackColor = true; this.generateButton.Click += new System.EventHandler(this.generateButton_Click); // // BenchmarkGeneratorForm // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.ClientSize = new System.Drawing.Size(885, 508); this.Controls.Add(this.viewHost1); this.Controls.Add(this.generateButton); this.Controls.Add(this.formulaTextBox); this.Name = "BenchmarkGeneratorForm"; this.Text = "BenchmarkGeneratorForm"; this.Title = "BenchmarkGeneratorForm"; this.Controls.SetChildIndex(this.formulaTextBox, 0); this.Controls.SetChildIndex(this.generateButton, 0); this.Controls.SetChildIndex(this.viewHost1, 0); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.RichTextBox formulaTextBox; private MainForm.WindowsForms.ViewHost viewHost1; private System.Windows.Forms.Button generateButton; } }