source: misc/tools/HeuristicLab.HiveDrain/HeuristicLab.HiveDrain/HiveDrainMainWindow.Designer.cs

namespace HeuristicLab.HiveDrain {
  partial class HiveDrainMainWindow {
    /// <summary>
    /// Required designer variable.
    /// </summary>
    private System.ComponentModel.IContainer components = null;

    /// <summary>
    /// Clean up any resources being used.
    /// </summary>
    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
    protected override void Dispose(bool disposing) {
      if (disposing && (components != null)) {
        components.Dispose();
      }
      base.Dispose(disposing);
    }

    #region Windows Form Designer generated code

    /// <summary>
    /// Required method for Designer support - do not modify
    /// the contents of this method with the code editor.
    /// </summary>
    private void InitializeComponent() {
      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveDrainMainWindow));
      this.label1 = new System.Windows.Forms.Label();
      this.patterTextBox = new System.Windows.Forms.TextBox();
      this.downloadButton = new System.Windows.Forms.Button();
      this.logView = new HeuristicLab.Core.Views.LogView();
      this.oneFileCheckBox = new System.Windows.Forms.CheckBox();
      this.label2 = new System.Windows.Forms.Label();
      this.outputDirectoryTextBox = new System.Windows.Forms.TextBox();
      this.browseOutputPathButton = new System.Windows.Forms.Button();
      this.listJobsButton = new System.Windows.Forms.Button();
      this.SuspendLayout();
      // 
      // label1
      // 
      this.label1.AutoSize = true;
      this.label1.Location = new System.Drawing.Point(12, 15);
      this.label1.Name = "label1";
      this.label1.Size = new System.Drawing.Size(134, 13);
      this.label1.TabIndex = 0;
      this.label1.Text = "Pattern to match job name:";
      // 
      // patterTextBox
      // 
      this.patterTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
            | System.Windows.Forms.AnchorStyles.Right)));
      this.patterTextBox.Location = new System.Drawing.Point(152, 12);
      this.patterTextBox.Name = "patterTextBox";
      this.patterTextBox.Size = new System.Drawing.Size(678, 20);
      this.patterTextBox.TabIndex = 1;
      // 
      // downloadButton
      // 
      this.downloadButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
      this.downloadButton.Location = new System.Drawing.Point(753, 82);
      this.downloadButton.Name = "downloadButton";
      this.downloadButton.Size = new System.Drawing.Size(77, 23);
      this.downloadButton.TabIndex = 3;
      this.downloadButton.Text = "Download";
      this.downloadButton.UseVisualStyleBackColor = true;
      this.downloadButton.Click += new System.EventHandler(this.downloadButton_Click);
      // 
      // logView
      // 
      this.logView.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.logView.Caption = "Log View";
      this.logView.Content = null;
      this.logView.Location = new System.Drawing.Point(15, 110);
      this.logView.Name = "logView";
      this.logView.ReadOnly = false;
      this.logView.Size = new System.Drawing.Size(815, 325);
      this.logView.TabIndex = 4;
      // 
      // oneFileCheckBox
      // 
      this.oneFileCheckBox.AutoSize = true;
      this.oneFileCheckBox.Checked = true;
      this.oneFileCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
      this.oneFileCheckBox.Location = new System.Drawing.Point(15, 88);
      this.oneFileCheckBox.Name = "oneFileCheckBox";
      this.oneFileCheckBox.Size = new System.Drawing.Size(102, 17);
      this.oneFileCheckBox.TabIndex = 5;
      this.oneFileCheckBox.Text = "Save as one file";
      this.oneFileCheckBox.UseVisualStyleBackColor = true;
      // 
      // label2
      // 
      this.label2.AutoSize = true;
      this.label2.Location = new System.Drawing.Point(15, 44);
      this.label2.Name = "label2";
      this.label2.Size = new System.Drawing.Size(85, 13);
      this.label2.TabIndex = 6;
      this.label2.Text = "Output directory:";
      // 
      // outputDirectoryTextBox
      // 
      this.outputDirectoryTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
            | System.Windows.Forms.AnchorStyles.Right)));
      this.outputDirectoryTextBox.Location = new System.Drawing.Point(152, 38);
      this.outputDirectoryTextBox.Name = "outputDirectoryTextBox";
      this.outputDirectoryTextBox.Size = new System.Drawing.Size(595, 20);
      this.outputDirectoryTextBox.TabIndex = 7;
      // 
      // browseOutputPathButton
      // 
      this.browseOutputPathButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
      this.browseOutputPathButton.Location = new System.Drawing.Point(753, 37);
      this.browseOutputPathButton.Name = "browseOutputPathButton";
      this.browseOutputPathButton.Size = new System.Drawing.Size(75, 22);
      this.browseOutputPathButton.TabIndex = 8;
      this.browseOutputPathButton.Text = "Browse";
      this.browseOutputPathButton.UseVisualStyleBackColor = true;
      this.browseOutputPathButton.Click += new System.EventHandler(this.browseOutputPathButton_Click);
      // 
      // listJobsButton
      // 
      this.listJobsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
      this.listJobsButton.Location = new System.Drawing.Point(670, 82);
      this.listJobsButton.Name = "listJobsButton";
      this.listJobsButton.Size = new System.Drawing.Size(77, 23);
      this.listJobsButton.TabIndex = 9;
      this.listJobsButton.Text = "List Jobs";
      this.listJobsButton.UseVisualStyleBackColor = true;
      this.listJobsButton.Click += new System.EventHandler(this.listJobsButton_Click);
      // 
      // HiveDrainMainWindow
      // 
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
      this.ClientSize = new System.Drawing.Size(842, 447);
      this.Controls.Add(this.listJobsButton);
      this.Controls.Add(this.browseOutputPathButton);
      this.Controls.Add(this.outputDirectoryTextBox);
      this.Controls.Add(this.label2);
      this.Controls.Add(this.oneFileCheckBox);
      this.Controls.Add(this.logView);
      this.Controls.Add(this.downloadButton);
      this.Controls.Add(this.patterTextBox);
      this.Controls.Add(this.label1);
      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
      this.Name = "HiveDrainMainWindow";
      this.Text = "HiveDrainMainWindow";
      this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.HiveDrainMainWindow_FormClosing);
      this.ResumeLayout(false);
      this.PerformLayout();

    }

    #endregion

    private System.Windows.Forms.Label label1;
    private System.Windows.Forms.TextBox patterTextBox;
    private System.Windows.Forms.Button downloadButton;
    private HeuristicLab.Core.Views.LogView logView;
    private System.Windows.Forms.CheckBox oneFileCheckBox;
    private System.Windows.Forms.Label label2;
    private System.Windows.Forms.TextBox outputDirectoryTextBox;
    private System.Windows.Forms.Button browseOutputPathButton;
    private System.Windows.Forms.Button listJobsButton;
  }
}