namespace Reko.UserInterfaces.WindowsForms.Forms
{
    partial class ProgramPropertiesDialog
    {
        /// <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()
        {
            this.chkRunScript = new System.Windows.Forms.CheckBox();
            this.txtScript = new System.Windows.Forms.TextBox();
            this.btnOk = new System.Windows.Forms.Button();
            this.btnCancel = new System.Windows.Forms.Button();
            this.tabControl1 = new System.Windows.Forms.TabControl();
            this.tabGeneral = new System.Windows.Forms.TabPage();
            this.ddlOutputPolicies = new System.Windows.Forms.ComboBox();
            this.label2 = new System.Windows.Forms.Label();
            this.tabLoading = new System.Windows.Forms.TabPage();
            this.tabScanning = new System.Windows.Forms.TabPage();
            this.groupBox1 = new System.Windows.Forms.GroupBox();
            this.listHeuristics = new System.Windows.Forms.ListBox();
            this.label1 = new System.Windows.Forms.Label();
            this.tabAnalysis = new System.Windows.Forms.TabPage();
            this.chkAggressiveBranchRemoval = new System.Windows.Forms.CheckBox();
            this.tabControl1.SuspendLayout();
            this.tabGeneral.SuspendLayout();
            this.tabLoading.SuspendLayout();
            this.tabScanning.SuspendLayout();
            this.groupBox1.SuspendLayout();
            this.tabAnalysis.SuspendLayout();
            this.SuspendLayout();
            // 
            // chkRunScript
            // 
            this.chkRunScript.AutoSize = true;
            this.chkRunScript.Location = new System.Drawing.Point(8, 6);
            this.chkRunScript.Name = "chkRunScript";
            this.chkRunScript.Size = new System.Drawing.Size(157, 17);
            this.chkRunScript.TabIndex = 0;
            this.chkRunScript.Text = "Run OllyScript after &loading:";
            this.chkRunScript.UseVisualStyleBackColor = true;
            // 
            // txtScript
            // 
            this.txtScript.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.txtScript.Enabled = false;
            this.txtScript.Location = new System.Drawing.Point(8, 29);
            this.txtScript.Multiline = true;
            this.txtScript.Name = "txtScript";
            this.txtScript.Size = new System.Drawing.Size(362, 269);
            this.txtScript.TabIndex = 1;
            // 
            // btnOk
            // 
            this.btnOk.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
            this.btnOk.DialogResult = System.Windows.Forms.DialogResult.OK;
            this.btnOk.Location = new System.Drawing.Point(218, 336);
            this.btnOk.Name = "btnOk";
            this.btnOk.Size = new System.Drawing.Size(75, 23);
            this.btnOk.TabIndex = 2;
            this.btnOk.Text = "OK";
            this.btnOk.UseVisualStyleBackColor = true;
            // 
            // btnCancel
            // 
            this.btnCancel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
            this.btnCancel.DialogResult = System.Windows.Forms.DialogResult.Cancel;
            this.btnCancel.Location = new System.Drawing.Point(299, 336);
            this.btnCancel.Name = "btnCancel";
            this.btnCancel.Size = new System.Drawing.Size(75, 23);
            this.btnCancel.TabIndex = 3;
            this.btnCancel.Text = "Cancel";
            this.btnCancel.UseVisualStyleBackColor = true;
            // 
            // tabControl1
            // 
            this.tabControl1.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.tabControl1.Controls.Add(this.tabGeneral);
            this.tabControl1.Controls.Add(this.tabLoading);
            this.tabControl1.Controls.Add(this.tabScanning);
            this.tabControl1.Controls.Add(this.tabAnalysis);
            this.tabControl1.Location = new System.Drawing.Point(0, 0);
            this.tabControl1.Name = "tabControl1";
            this.tabControl1.SelectedIndex = 0;
            this.tabControl1.Size = new System.Drawing.Size(386, 330);
            this.tabControl1.TabIndex = 4;
            // 
            // tabGeneral
            // 
            this.tabGeneral.Controls.Add(this.ddlOutputPolicies);
            this.tabGeneral.Controls.Add(this.label2);
            this.tabGeneral.Location = new System.Drawing.Point(4, 22);
            this.tabGeneral.Name = "tabGeneral";
            this.tabGeneral.Padding = new System.Windows.Forms.Padding(3);
            this.tabGeneral.Size = new System.Drawing.Size(378, 304);
            this.tabGeneral.TabIndex = 0;
            this.tabGeneral.Text = "General";
            this.tabGeneral.UseVisualStyleBackColor = true;
            // 
            // ddlOutputPolicies
            // 
            this.ddlOutputPolicies.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
            this.ddlOutputPolicies.FormattingEnabled = true;
            this.ddlOutputPolicies.Location = new System.Drawing.Point(10, 24);
            this.ddlOutputPolicies.Name = "ddlOutputPolicies";
            this.ddlOutputPolicies.Size = new System.Drawing.Size(360, 21);
            this.ddlOutputPolicies.TabIndex = 1;
            // 
            // label2
            // 
            this.label2.AutoSize = true;
            this.label2.Location = new System.Drawing.Point(7, 7);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(63, 13);
            this.label2.TabIndex = 0;
            this.label2.Text = "&Output files:";
            // 
            // tabLoading
            // 
            this.tabLoading.Controls.Add(this.txtScript);
            this.tabLoading.Controls.Add(this.chkRunScript);
            this.tabLoading.Location = new System.Drawing.Point(4, 22);
            this.tabLoading.Name = "tabLoading";
            this.tabLoading.Padding = new System.Windows.Forms.Padding(3);
            this.tabLoading.Size = new System.Drawing.Size(378, 304);
            this.tabLoading.TabIndex = 1;
            this.tabLoading.Text = "Loading";
            this.tabLoading.UseVisualStyleBackColor = true;
            // 
            // tabScanning
            // 
            this.tabScanning.Controls.Add(this.groupBox1);
            this.tabScanning.Location = new System.Drawing.Point(4, 22);
            this.tabScanning.Name = "tabScanning";
            this.tabScanning.Size = new System.Drawing.Size(378, 304);
            this.tabScanning.TabIndex = 2;
            this.tabScanning.Text = "Scanning";
            this.tabScanning.UseVisualStyleBackColor = true;
            // 
            // groupBox1
            // 
            this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
            | System.Windows.Forms.AnchorStyles.Right)));
            this.groupBox1.Controls.Add(this.listHeuristics);
            this.groupBox1.Controls.Add(this.label1);
            this.groupBox1.Location = new System.Drawing.Point(3, 3);
            this.groupBox1.Name = "groupBox1";
            this.groupBox1.Size = new System.Drawing.Size(367, 189);
            this.groupBox1.TabIndex = 2;
            this.groupBox1.TabStop = false;
            this.groupBox1.Text = "Heuristic scanning";
            // 
            // listHeuristics
            // 
            this.listHeuristics.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
            | System.Windows.Forms.AnchorStyles.Right)));
            this.listHeuristics.FormattingEnabled = true;
            this.listHeuristics.Location = new System.Drawing.Point(7, 78);
            this.listHeuristics.Name = "listHeuristics";
            this.listHeuristics.Size = new System.Drawing.Size(354, 95);
            this.listHeuristics.TabIndex = 2;
            // 
            // label1
            // 
            this.label1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
            | System.Windows.Forms.AnchorStyles.Right)));
            this.label1.Location = new System.Drawing.Point(3, 31);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(358, 43);
            this.label1.TabIndex = 1;
            this.label1.Text = "Heuristic scanning guesses where executable statements are by disassembling the b" +
    "inary and resolving possible conflicts.  Different scanning heuristics give diff" +
    "erent results.";
            // 
            // tabAnalysis
            // 
            this.tabAnalysis.Controls.Add(this.chkAggressiveBranchRemoval);
            this.tabAnalysis.Location = new System.Drawing.Point(4, 22);
            this.tabAnalysis.Name = "tabAnalysis";
            this.tabAnalysis.Size = new System.Drawing.Size(378, 304);
            this.tabAnalysis.TabIndex = 3;
            this.tabAnalysis.Text = "Analysis";
            this.tabAnalysis.UseVisualStyleBackColor = true;
            // 
            // chkAggressiveBranchRemoval
            // 
            this.chkAggressiveBranchRemoval.AutoSize = true;
            this.chkAggressiveBranchRemoval.Location = new System.Drawing.Point(8, 3);
            this.chkAggressiveBranchRemoval.Name = "chkAggressiveBranchRemoval";
            this.chkAggressiveBranchRemoval.Size = new System.Drawing.Size(154, 17);
            this.chkAggressiveBranchRemoval.TabIndex = 0;
            this.chkAggressiveBranchRemoval.Text = "Aggressive branch removal";
            this.chkAggressiveBranchRemoval.UseVisualStyleBackColor = true;
            // 
            // ProgramPropertiesDialog
            // 
            this.AcceptButton = this.btnOk;
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.CancelButton = this.btnCancel;
            this.ClientSize = new System.Drawing.Size(386, 371);
            this.Controls.Add(this.btnCancel);
            this.Controls.Add(this.btnOk);
            this.Controls.Add(this.tabControl1);
            this.MaximizeBox = false;
            this.MinimizeBox = false;
            this.Name = "ProgramPropertiesDialog";
            this.ShowIcon = false;
            this.ShowInTaskbar = false;
            this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
            this.Text = "Program Properties";
            this.tabControl1.ResumeLayout(false);
            this.tabGeneral.ResumeLayout(false);
            this.tabGeneral.PerformLayout();
            this.tabLoading.ResumeLayout(false);
            this.tabLoading.PerformLayout();
            this.tabScanning.ResumeLayout(false);
            this.groupBox1.ResumeLayout(false);
            this.tabAnalysis.ResumeLayout(false);
            this.tabAnalysis.PerformLayout();
            this.ResumeLayout(false);

        }

        #endregion

        private System.Windows.Forms.CheckBox chkRunScript;
        private System.Windows.Forms.TextBox txtScript;
        private System.Windows.Forms.Button btnOk;
        private System.Windows.Forms.Button btnCancel;
        private System.Windows.Forms.TabControl tabControl1;
        private System.Windows.Forms.TabPage tabGeneral;
        private System.Windows.Forms.TabPage tabLoading;
        private System.Windows.Forms.TabPage tabScanning;
        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.GroupBox groupBox1;
        private System.Windows.Forms.ListBox listHeuristics;
        private System.Windows.Forms.ComboBox ddlOutputPolicies;
        private System.Windows.Forms.Label label2;
        private System.Windows.Forms.TabPage tabAnalysis;
        private System.Windows.Forms.CheckBox chkAggressiveBranchRemoval;
    }
}