/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.textView1 = new Reko.Gui.Windows.Controls.TextView();
this.SuspendLayout();
//
// textView1
//
this.textView1.Dock = System.Windows.Forms.DockStyle.Fill;
this.textView1.Font = new System.Drawing.Font("Lucida Console", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.textView1.Location = new System.Drawing.Point(0, 0);
this.textView1.Model = emptyEditorModel1;
this.textView1.Name = "textView1";
this.textView1.Services = null;
this.textView1.Size = new System.Drawing.Size(374, 335);
this.textView1.TabIndex = 0;
this.textView1.Text = "textView1";
//
// ImageSegmentView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.textView1);
this.Name = "ImageSegmentView";
this.Size = new System.Drawing.Size(374, 335);
this.ResumeLayout(false);
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.textView1 = new Reko.Gui.Windows.Controls.TextView();
this.SuspendLayout();
//
// textView1
//
this.textView1.Dock = System.Windows.Forms.DockStyle.Fill;
this.textView1.Font = new System.Drawing.Font("Lucida Console", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.textView1.Location = new System.Drawing.Point(0, 0);
this.textView1.Model = emptyEditorModel1;
this.textView1.Name = "textView1";
this.textView1.Services = null;
this.textView1.Size = new System.Drawing.Size(374, 335);
this.textView1.TabIndex = 0;
this.textView1.Text = "textView1";
//
// ImageSegmentView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.textView1);
this.Name = "ImageSegmentView";
this.Size = new System.Drawing.Size(374, 335);
this.ResumeLayout(false);
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel2 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.btnOK = new System.Windows.Forms.Button();
this.btnCancel = new System.Windows.Forms.Button();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabWindows = new System.Windows.Forms.TabPage();
this.treeView1 = new System.Windows.Forms.TreeView();
this.btnWindowBgColor = new System.Windows.Forms.Button();
this.btnWindowFgColor = new System.Windows.Forms.Button();
this.btnWindowFont = new System.Windows.Forms.Button();
this.tabColors = new System.Windows.Forms.TabPage();
this.label1 = new System.Windows.Forms.Label();
this.btnElementBgColor = new System.Windows.Forms.Button();
this.label2 = new System.Windows.Forms.Label();
this.btnElementFgColor = new System.Windows.Forms.Button();
this.lbxUiElements = new System.Windows.Forms.ListBox();
this.colorPicker = new System.Windows.Forms.ColorDialog();
this.fontPicker = new System.Windows.Forms.FontDialog();
this.dasmCtl = new Reko.Gui.Windows.Controls.DisassemblyControl();
this.codeCtl = new Reko.Gui.Windows.Controls.TextView();
this.memCtl = new Reko.Gui.Windows.Controls.MemoryControl();
this.tabControl1.SuspendLayout();
this.tabWindows.SuspendLayout();
this.tabColors.SuspendLayout();
this.SuspendLayout();
//
// 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(396, 226);
this.btnOK.Name = "btnOK";
this.btnOK.Size = new System.Drawing.Size(75, 23);
this.btnOK.TabIndex = 0;
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(477, 226);
this.btnCancel.Name = "btnCancel";
this.btnCancel.Size = new System.Drawing.Size(75, 23);
this.btnCancel.TabIndex = 1;
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.tabWindows);
this.tabControl1.Controls.Add(this.tabColors);
this.tabControl1.Location = new System.Drawing.Point(0, 0);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(565, 220);
this.tabControl1.TabIndex = 2;
//
// tabWindows
//
this.tabWindows.Controls.Add(this.dasmCtl);
this.tabWindows.Controls.Add(this.codeCtl);
this.tabWindows.Controls.Add(this.memCtl);
this.tabWindows.Controls.Add(this.treeView1);
this.tabWindows.Controls.Add(this.btnWindowBgColor);
this.tabWindows.Controls.Add(this.btnWindowFgColor);
this.tabWindows.Controls.Add(this.btnWindowFont);
this.tabWindows.Location = new System.Drawing.Point(4, 22);
this.tabWindows.Name = "tabWindows";
this.tabWindows.Padding = new System.Windows.Forms.Padding(3);
this.tabWindows.Size = new System.Drawing.Size(557, 194);
this.tabWindows.TabIndex = 0;
this.tabWindows.Text = "Windows";
this.tabWindows.UseVisualStyleBackColor = true;
//
// treeView1
//
this.treeView1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)));
this.treeView1.HideSelection = false;
this.treeView1.Location = new System.Drawing.Point(7, 7);
this.treeView1.Name = "treeView1";
this.treeView1.ShowPlusMinus = false;
this.treeView1.Size = new System.Drawing.Size(164, 172);
this.treeView1.TabIndex = 5;
//
// btnWindowBgColor
//
this.btnWindowBgColor.Location = new System.Drawing.Point(376, 8);
this.btnWindowBgColor.Name = "btnWindowBgColor";
this.btnWindowBgColor.Size = new System.Drawing.Size(94, 23);
this.btnWindowBgColor.TabIndex = 3;
this.btnWindowBgColor.Text = "Background...";
this.btnWindowBgColor.UseVisualStyleBackColor = true;
//
// btnWindowFgColor
//
this.btnWindowFgColor.Location = new System.Drawing.Point(278, 7);
this.btnWindowFgColor.Name = "btnWindowFgColor";
this.btnWindowFgColor.Size = new System.Drawing.Size(92, 23);
this.btnWindowFgColor.TabIndex = 2;
this.btnWindowFgColor.Text = "Foreground...";
this.btnWindowFgColor.UseVisualStyleBackColor = true;
//
// btnWindowFont
//
this.btnWindowFont.Location = new System.Drawing.Point(180, 7);
this.btnWindowFont.Name = "btnWindowFont";
this.btnWindowFont.Size = new System.Drawing.Size(92, 23);
this.btnWindowFont.TabIndex = 1;
this.btnWindowFont.Text = "Font...";
this.btnWindowFont.UseVisualStyleBackColor = true;
//
// tabColors
//
this.tabColors.Controls.Add(this.label1);
this.tabColors.Controls.Add(this.btnElementBgColor);
this.tabColors.Controls.Add(this.label2);
this.tabColors.Controls.Add(this.btnElementFgColor);
this.tabColors.Controls.Add(this.lbxUiElements);
this.tabColors.Location = new System.Drawing.Point(4, 22);
this.tabColors.Name = "tabColors";
this.tabColors.Padding = new System.Windows.Forms.Padding(3);
this.tabColors.Size = new System.Drawing.Size(557, 194);
this.tabColors.TabIndex = 1;
this.tabColors.Text = "Image Bar";
this.tabColors.UseVisualStyleBackColor = true;
//
// label1
//
this.label1.Location = new System.Drawing.Point(180, 36);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(368, 47);
this.label1.TabIndex = 5;
this.label1.Text = "label1";
//
// btnElementBgColor
//
this.btnElementBgColor.Location = new System.Drawing.Point(265, 6);
this.btnElementBgColor.Name = "btnElementBgColor";
this.btnElementBgColor.Size = new System.Drawing.Size(85, 23);
this.btnElementBgColor.TabIndex = 4;
this.btnElementBgColor.Text = "&Background...";
this.btnElementBgColor.UseVisualStyleBackColor = true;
//
// label2
//
this.label2.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.label2.BackColor = System.Drawing.Color.Transparent;
this.label2.Location = new System.Drawing.Point(177, 95);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(371, 84);
this.label2.TabIndex = 3;
this.label2.Text = "lblImageBarPreview";
this.label2.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
//
// btnElementFgColor
//
this.btnElementFgColor.Location = new System.Drawing.Point(177, 6);
this.btnElementFgColor.Name = "btnElementFgColor";
this.btnElementFgColor.Size = new System.Drawing.Size(82, 23);
this.btnElementFgColor.TabIndex = 2;
this.btnElementFgColor.Text = "&Foreground...";
this.btnElementFgColor.UseVisualStyleBackColor = true;
//
// lbxUiElements
//
this.lbxUiElements.FormattingEnabled = true;
this.lbxUiElements.IntegralHeight = false;
this.lbxUiElements.Items.AddRange(new object[] {
"Code",
"Heuristic code",
"Data",
"Address",
"Unknown"
});
this.lbxUiElements.Location = new System.Drawing.Point(7, 7);
this.lbxUiElements.Name = "lbxUiElements";
this.lbxUiElements.Size = new System.Drawing.Size(164, 172);
this.lbxUiElements.TabIndex = 1;
//
// dasmCtl
//
this.dasmCtl.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.dasmCtl.Location = new System.Drawing.Point(180, 37);
this.dasmCtl.Model = emptyEditorModel1;
this.dasmCtl.Name = "dasmCtl";
this.dasmCtl.SelectedObject = null;
this.dasmCtl.Services = null;
this.dasmCtl.Size = new System.Drawing.Size(374, 138);
this.dasmCtl.StartAddress = null;
this.dasmCtl.TabIndex = 8;
this.dasmCtl.TopAddress = null;
//
// codeCtl
//
this.codeCtl.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.codeCtl.Location = new System.Drawing.Point(180, 37);
this.codeCtl.Model = emptyEditorModel2;
this.codeCtl.Name = "codeCtl";
this.codeCtl.Services = null;
this.codeCtl.Size = new System.Drawing.Size(374, 138);
this.codeCtl.TabIndex = 7;
this.codeCtl.Text = "textView1";
//
// memCtl
//
this.memCtl.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.memCtl.Architecture = null;
this.memCtl.BytesPerRow = ((uint)(16u));
this.memCtl.ImageMap = null;
this.memCtl.Location = new System.Drawing.Point(180, 37);
this.memCtl.Name = "memCtl";
this.memCtl.ProgramImage = null;
this.memCtl.SelectedAddress = null;
this.memCtl.Services = null;
this.memCtl.Size = new System.Drawing.Size(374, 138);
this.memCtl.TabIndex = 6;
this.memCtl.Text = "memoryControl1";
this.memCtl.TopAddress = null;
this.memCtl.WordSize = ((uint)(1u));
//
// UserPreferencesDialog
//
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(564, 261);
this.Controls.Add(this.tabControl1);
this.Controls.Add(this.btnCancel);
this.Controls.Add(this.btnOK);
this.MaximizeBox = false;
this.MinimizeBox = false;
this.Name = "UserPreferencesDialog";
this.ShowIcon = false;
this.ShowInTaskbar = false;
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
this.Text = "User Preferences";
this.tabControl1.ResumeLayout(false);
this.tabWindows.ResumeLayout(false);
this.tabColors.ResumeLayout(false);
this.ResumeLayout(false);
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel2 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.btnOK = new System.Windows.Forms.Button();
this.btnCancel = new System.Windows.Forms.Button();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabWindows = new System.Windows.Forms.TabPage();
this.treeView1 = new System.Windows.Forms.TreeView();
this.btnWindowBgColor = new System.Windows.Forms.Button();
this.btnWindowFgColor = new System.Windows.Forms.Button();
this.btnWindowFont = new System.Windows.Forms.Button();
this.tabColors = new System.Windows.Forms.TabPage();
this.label1 = new System.Windows.Forms.Label();
this.btnElementBgColor = new System.Windows.Forms.Button();
this.label2 = new System.Windows.Forms.Label();
this.btnElementFgColor = new System.Windows.Forms.Button();
this.lbxUiElements = new System.Windows.Forms.ListBox();
this.colorPicker = new System.Windows.Forms.ColorDialog();
this.fontPicker = new System.Windows.Forms.FontDialog();
this.dasmCtl = new Reko.Gui.Windows.Controls.DisassemblyControl();
this.codeCtl = new Reko.Gui.Windows.Controls.TextView();
this.memCtl = new Reko.Gui.Windows.Controls.MemoryControl();
this.tabControl1.SuspendLayout();
this.tabWindows.SuspendLayout();
this.tabColors.SuspendLayout();
this.SuspendLayout();
//
// 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(396, 226);
this.btnOK.Name = "btnOK";
this.btnOK.Size = new System.Drawing.Size(75, 23);
this.btnOK.TabIndex = 0;
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(477, 226);
this.btnCancel.Name = "btnCancel";
this.btnCancel.Size = new System.Drawing.Size(75, 23);
this.btnCancel.TabIndex = 1;
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.tabWindows);
this.tabControl1.Controls.Add(this.tabColors);
this.tabControl1.Location = new System.Drawing.Point(0, 0);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(565, 220);
this.tabControl1.TabIndex = 2;
//
// tabWindows
//
this.tabWindows.Controls.Add(this.dasmCtl);
this.tabWindows.Controls.Add(this.codeCtl);
this.tabWindows.Controls.Add(this.memCtl);
this.tabWindows.Controls.Add(this.treeView1);
this.tabWindows.Controls.Add(this.btnWindowBgColor);
this.tabWindows.Controls.Add(this.btnWindowFgColor);
this.tabWindows.Controls.Add(this.btnWindowFont);
this.tabWindows.Location = new System.Drawing.Point(4, 22);
this.tabWindows.Name = "tabWindows";
this.tabWindows.Padding = new System.Windows.Forms.Padding(3);
this.tabWindows.Size = new System.Drawing.Size(557, 194);
this.tabWindows.TabIndex = 0;
this.tabWindows.Text = "Windows";
this.tabWindows.UseVisualStyleBackColor = true;
//
// treeView1
//
this.treeView1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)));
this.treeView1.HideSelection = false;
this.treeView1.Location = new System.Drawing.Point(7, 7);
this.treeView1.Name = "treeView1";
this.treeView1.ShowPlusMinus = false;
this.treeView1.Size = new System.Drawing.Size(164, 172);
this.treeView1.TabIndex = 5;
//
// btnWindowBgColor
//
this.btnWindowBgColor.Location = new System.Drawing.Point(376, 8);
this.btnWindowBgColor.Name = "btnWindowBgColor";
this.btnWindowBgColor.Size = new System.Drawing.Size(94, 23);
this.btnWindowBgColor.TabIndex = 3;
this.btnWindowBgColor.Text = "Background...";
this.btnWindowBgColor.UseVisualStyleBackColor = true;
//
// btnWindowFgColor
//
this.btnWindowFgColor.Location = new System.Drawing.Point(278, 7);
this.btnWindowFgColor.Name = "btnWindowFgColor";
this.btnWindowFgColor.Size = new System.Drawing.Size(92, 23);
this.btnWindowFgColor.TabIndex = 2;
this.btnWindowFgColor.Text = "Foreground...";
this.btnWindowFgColor.UseVisualStyleBackColor = true;
//
// btnWindowFont
//
this.btnWindowFont.Location = new System.Drawing.Point(180, 7);
this.btnWindowFont.Name = "btnWindowFont";
this.btnWindowFont.Size = new System.Drawing.Size(92, 23);
this.btnWindowFont.TabIndex = 1;
this.btnWindowFont.Text = "Font...";
this.btnWindowFont.UseVisualStyleBackColor = true;
//
// tabColors
//
this.tabColors.Controls.Add(this.label1);
this.tabColors.Controls.Add(this.btnElementBgColor);
this.tabColors.Controls.Add(this.label2);
this.tabColors.Controls.Add(this.btnElementFgColor);
this.tabColors.Controls.Add(this.lbxUiElements);
this.tabColors.Location = new System.Drawing.Point(4, 22);
this.tabColors.Name = "tabColors";
this.tabColors.Padding = new System.Windows.Forms.Padding(3);
this.tabColors.Size = new System.Drawing.Size(557, 194);
this.tabColors.TabIndex = 1;
this.tabColors.Text = "Image Bar";
this.tabColors.UseVisualStyleBackColor = true;
//
// label1
//
this.label1.Location = new System.Drawing.Point(180, 36);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(368, 47);
this.label1.TabIndex = 5;
this.label1.Text = "label1";
//
// btnElementBgColor
//
this.btnElementBgColor.Location = new System.Drawing.Point(265, 6);
this.btnElementBgColor.Name = "btnElementBgColor";
this.btnElementBgColor.Size = new System.Drawing.Size(85, 23);
this.btnElementBgColor.TabIndex = 4;
this.btnElementBgColor.Text = "&Background...";
this.btnElementBgColor.UseVisualStyleBackColor = true;
//
// label2
//
this.label2.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.label2.BackColor = System.Drawing.Color.Transparent;
this.label2.Location = new System.Drawing.Point(177, 95);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(371, 84);
this.label2.TabIndex = 3;
this.label2.Text = "lblImageBarPreview";
this.label2.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
//
// btnElementFgColor
//
this.btnElementFgColor.Location = new System.Drawing.Point(177, 6);
this.btnElementFgColor.Name = "btnElementFgColor";
this.btnElementFgColor.Size = new System.Drawing.Size(82, 23);
this.btnElementFgColor.TabIndex = 2;
this.btnElementFgColor.Text = "&Foreground...";
this.btnElementFgColor.UseVisualStyleBackColor = true;
//
// lbxUiElements
//
this.lbxUiElements.FormattingEnabled = true;
this.lbxUiElements.IntegralHeight = false;
this.lbxUiElements.Items.AddRange(new object[] {
"Code",
"Heuristic code",
"Data",
"Address",
"Unknown"});
this.lbxUiElements.Location = new System.Drawing.Point(7, 7);
this.lbxUiElements.Name = "lbxUiElements";
this.lbxUiElements.Size = new System.Drawing.Size(164, 172);
this.lbxUiElements.TabIndex = 1;
//
// dasmCtl
//
this.dasmCtl.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.dasmCtl.Location = new System.Drawing.Point(180, 37);
this.dasmCtl.Model = emptyEditorModel1;
this.dasmCtl.Name = "dasmCtl";
this.dasmCtl.SelectedObject = null;
this.dasmCtl.Services = null;
this.dasmCtl.Size = new System.Drawing.Size(374, 138);
this.dasmCtl.StartAddress = null;
this.dasmCtl.TabIndex = 8;
this.dasmCtl.TopAddress = null;
//
// codeCtl
//
this.codeCtl.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.codeCtl.Location = new System.Drawing.Point(180, 37);
this.codeCtl.Model = emptyEditorModel2;
this.codeCtl.Name = "codeCtl";
this.codeCtl.Services = null;
this.codeCtl.Size = new System.Drawing.Size(374, 138);
this.codeCtl.TabIndex = 7;
this.codeCtl.Text = "textView1";
//
// memCtl
//
this.memCtl.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.memCtl.Architecture = null;
this.memCtl.BytesPerRow = ((uint)(16u));
this.memCtl.ImageMap = null;
this.memCtl.Location = new System.Drawing.Point(180, 37);
this.memCtl.Name = "memCtl";
this.memCtl.ProgramImage = null;
this.memCtl.SelectedAddress = null;
this.memCtl.Services = null;
this.memCtl.Size = new System.Drawing.Size(374, 138);
this.memCtl.TabIndex = 6;
this.memCtl.Text = "memoryControl1";
this.memCtl.TopAddress = null;
this.memCtl.WordSize = ((uint)(1u));
//
// UserPreferencesDialog
//
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(564, 261);
this.Controls.Add(this.tabControl1);
this.Controls.Add(this.btnCancel);
this.Controls.Add(this.btnOK);
this.MaximizeBox = false;
this.MinimizeBox = false;
this.Name = "UserPreferencesDialog";
this.ShowIcon = false;
this.ShowInTaskbar = false;
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
this.Text = "User Preferences";
this.tabControl1.ResumeLayout(false);
this.tabWindows.ResumeLayout(false);
this.tabColors.ResumeLayout(false);
this.ResumeLayout(false);
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(LowLevelView));
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.btnBack = new System.Windows.Forms.ToolStripButton();
this.btnForward = new System.Windows.Forms.ToolStripButton();
this.toolStripLabel1 = new System.Windows.Forms.ToolStripLabel();
this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
this.txtAddress = new System.Windows.Forms.ToolStripTextBox();
this.btnGo = new System.Windows.Forms.ToolStripButton();
this.lowLeveImages = new System.Windows.Forms.ImageList(this.components);
this.splitContainer2 = new System.Windows.Forms.SplitContainer();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.lblMemoryView = new System.Windows.Forms.Label();
this.lblDisassembly = new System.Windows.Forms.Label();
this.memCtrl = new Reko.Gui.Windows.Controls.MemoryControl();
this.dasmCtrl = new Reko.Gui.Windows.Controls.DisassemblyControl();
this.byteMapView = new Reko.Gui.Windows.Controls.ByteMapView();
this.imageMapControl1 = new Reko.Gui.Windows.Controls.ImageMapView();
this.label1 = new System.Windows.Forms.Label();
this.toolStrip.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
this.splitContainer2.Panel1.SuspendLayout();
this.splitContainer2.Panel2.SuspendLayout();
this.splitContainer2.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.btnBack,
this.btnForward,
this.toolStripLabel1,
this.toolStripSeparator1,
this.txtAddress,
this.btnGo
});
this.toolStrip.Location = new System.Drawing.Point(0, 23);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(858, 25);
this.toolStrip.TabIndex = 3;
this.toolStrip.Text = "toolStrip1";
//
// btnBack
//
this.btnBack.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnBack.Image = global::Reko.Gui.Resources.Back;
this.btnBack.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnBack.Name = "btnBack";
this.btnBack.Size = new System.Drawing.Size(23, 22);
this.btnBack.Text = "Back";
//
// btnForward
//
this.btnForward.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnForward.Image = global::Reko.Gui.Resources.Forward;
this.btnForward.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnForward.Name = "btnForward";
this.btnForward.Size = new System.Drawing.Size(23, 22);
this.btnForward.Text = "Forward";
//
// toolStripLabel1
//
this.toolStripLabel1.Name = "toolStripLabel1";
this.toolStripLabel1.Size = new System.Drawing.Size(49, 22);
this.toolStripLabel1.Text = "Address";
//
// toolStripSeparator1
//
this.toolStripSeparator1.Name = "toolStripSeparator1";
this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
//
// txtAddress
//
this.txtAddress.Name = "txtAddress";
this.txtAddress.Size = new System.Drawing.Size(100, 25);
//
// btnGo
//
this.btnGo.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
this.btnGo.Image = ((System.Drawing.Image)(resources.GetObject("btnGo.Image")));
this.btnGo.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnGo.Name = "btnGo";
this.btnGo.Size = new System.Drawing.Size(26, 22);
this.btnGo.Text = "Go";
//
// lowLeveImages
//
this.lowLeveImages.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
this.lowLeveImages.ImageSize = new System.Drawing.Size(16, 16);
this.lowLeveImages.TransparentColor = System.Drawing.Color.Transparent;
//
// splitContainer2
//
this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer2.Location = new System.Drawing.Point(0, 48);
this.splitContainer2.Name = "splitContainer2";
//
// splitContainer2.Panel1
//
this.splitContainer2.Panel1.Controls.Add(this.splitContainer1);
//
// splitContainer2.Panel2
//
this.splitContainer2.Panel2.Controls.Add(this.byteMapView);
this.splitContainer2.Panel2.Controls.Add(this.label1);
this.splitContainer2.Size = new System.Drawing.Size(858, 433);
this.splitContainer2.SplitterDistance = 692;
this.splitContainer2.TabIndex = 5;
//
// splitContainer1
//
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 0);
this.splitContainer1.Name = "splitContainer1";
this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.memCtrl);
this.splitContainer1.Panel1.Controls.Add(this.lblMemoryView);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.dasmCtrl);
this.splitContainer1.Panel2.Controls.Add(this.lblDisassembly);
this.splitContainer1.Size = new System.Drawing.Size(692, 433);
this.splitContainer1.SplitterDistance = 255;
this.splitContainer1.TabIndex = 1;
//
// lblMemoryView
//
this.lblMemoryView.BackColor = System.Drawing.SystemColors.InactiveCaption;
this.lblMemoryView.Dock = System.Windows.Forms.DockStyle.Top;
this.lblMemoryView.Font = new System.Drawing.Font("Tahoma", 9F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.lblMemoryView.ForeColor = System.Drawing.SystemColors.InactiveCaptionText;
this.lblMemoryView.Location = new System.Drawing.Point(0, 0);
this.lblMemoryView.Name = "lblMemoryView";
this.lblMemoryView.Size = new System.Drawing.Size(692, 18);
this.lblMemoryView.TabIndex = 1;
this.lblMemoryView.Text = "Memory View";
this.lblMemoryView.TextAlign = System.Drawing.ContentAlignment.MiddleLeft;
//
// lblDisassembly
//
this.lblDisassembly.BackColor = System.Drawing.SystemColors.InactiveCaption;
this.lblDisassembly.Dock = System.Windows.Forms.DockStyle.Top;
this.lblDisassembly.Font = new System.Drawing.Font("Tahoma", 9F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.lblDisassembly.ForeColor = System.Drawing.SystemColors.InactiveCaptionText;
this.lblDisassembly.Location = new System.Drawing.Point(0, 0);
this.lblDisassembly.Margin = new System.Windows.Forms.Padding(3, 0, 3, 3);
this.lblDisassembly.Name = "lblDisassembly";
this.lblDisassembly.Size = new System.Drawing.Size(692, 18);
this.lblDisassembly.TabIndex = 1;
this.lblDisassembly.Text = "Disassembly";
this.lblDisassembly.TextAlign = System.Drawing.ContentAlignment.MiddleLeft;
//
// memCtrl
//
this.memCtrl.Architecture = null;
this.memCtrl.BytesPerRow = ((uint)(16u));
this.memCtrl.Dock = System.Windows.Forms.DockStyle.Fill;
this.memCtrl.ImageMap = null;
this.memCtrl.Location = new System.Drawing.Point(0, 18);
this.memCtrl.Name = "memCtrl";
this.memCtrl.SelectedAddress = null;
this.memCtrl.Services = null;
this.memCtrl.Size = new System.Drawing.Size(692, 237);
this.memCtrl.TabIndex = 0;
this.memCtrl.Text = "memoryControl1";
this.memCtrl.TopAddress = null;
this.memCtrl.WordSize = ((uint)(1u));
//
// dasmCtrl
//
this.dasmCtrl.BackColor = System.Drawing.SystemColors.Window;
this.dasmCtrl.Dock = System.Windows.Forms.DockStyle.Fill;
this.dasmCtrl.Location = new System.Drawing.Point(0, 18);
this.dasmCtrl.Model = emptyEditorModel1;
this.dasmCtrl.Name = "dasmCtrl";
this.dasmCtrl.Program = null;
this.dasmCtrl.SelectedObject = null;
this.dasmCtrl.Services = null;
this.dasmCtrl.Size = new System.Drawing.Size(692, 156);
this.dasmCtrl.StartAddress = null;
this.dasmCtrl.StyleClass = null;
this.dasmCtrl.TabIndex = 0;
this.dasmCtrl.Text = "disassemblyControl1";
this.dasmCtrl.TopAddress = null;
//
// byteMapView
//
this.byteMapView.Dock = System.Windows.Forms.DockStyle.Fill;
this.byteMapView.SegmentMap = null;
this.byteMapView.Location = new System.Drawing.Point(0, 18);
this.byteMapView.Name = "byteMapView";
this.byteMapView.Size = new System.Drawing.Size(162, 415);
this.byteMapView.TabIndex = 0;
this.byteMapView.Text = "byteMapView1";
//
// imageMapControl1
//
this.imageMapControl1.BackColor = System.Drawing.SystemColors.Control;
this.imageMapControl1.Dock = System.Windows.Forms.DockStyle.Top;
this.imageMapControl1.Granularity = ((long)(1));
this.imageMapControl1.ImageMap = null;
this.imageMapControl1.Location = new System.Drawing.Point(0, 0);
this.imageMapControl1.Name = "imageMapControl1";
this.imageMapControl1.Offset = ((long)(0));
this.imageMapControl1.SelectedAddress = null;
this.imageMapControl1.Size = new System.Drawing.Size(858, 23);
this.imageMapControl1.TabIndex = 4;
this.imageMapControl1.Text = "imageMapControl1";
//
// label1
//
this.label1.BackColor = System.Drawing.SystemColors.InactiveCaption;
this.label1.Dock = System.Windows.Forms.DockStyle.Top;
this.label1.Font = new System.Drawing.Font("Tahoma", 9F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.label1.ForeColor = System.Drawing.SystemColors.InactiveCaptionText;
this.label1.Location = new System.Drawing.Point(0, 0);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(162, 18);
this.label1.TabIndex = 2;
this.label1.Text = "Byte Map";
this.label1.TextAlign = System.Drawing.ContentAlignment.MiddleLeft;
//
// LowLevelView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.splitContainer2);
this.Controls.Add(this.toolStrip);
this.Controls.Add(this.imageMapControl1);
this.Name = "LowLevelView";
this.Size = new System.Drawing.Size(858, 481);
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.splitContainer2.Panel1.ResumeLayout(false);
this.splitContainer2.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
this.splitContainer2.ResumeLayout(false);
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.toolStripButton1 = new System.Windows.Forms.ToolStripButton();
this.toolStripButton2 = new System.Windows.Forms.ToolStripButton();
this.textView1 = new Reko.Gui.Windows.Controls.TextView();
this.toolStrip.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripButton1,
this.toolStripButton2});
this.toolStrip.Location = new System.Drawing.Point(0, 0);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(150, 25);
this.toolStrip.TabIndex = 0;
this.toolStrip.Text = "toolStrip1";
//
// toolStripButton1
//
this.toolStripButton1.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.toolStripButton1.Image = global::Reko.Gui.Resources.Back;
this.toolStripButton1.ImageTransparentColor = System.Drawing.Color.Magenta;
this.toolStripButton1.Name = "toolStripButton1";
this.toolStripButton1.Size = new System.Drawing.Size(23, 22);
this.toolStripButton1.Text = "toolStripButton1";
//
// toolStripButton2
//
this.toolStripButton2.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.toolStripButton2.Image = global::Reko.Gui.Resources.Forward;
this.toolStripButton2.ImageTransparentColor = System.Drawing.Color.Magenta;
this.toolStripButton2.Name = "toolStripButton2";
this.toolStripButton2.Size = new System.Drawing.Size(23, 22);
this.toolStripButton2.Text = "toolStripButton2";
//
// textView1
//
this.textView1.Dock = System.Windows.Forms.DockStyle.Fill;
this.textView1.Location = new System.Drawing.Point(0, 25);
this.textView1.Model = emptyEditorModel1;
this.textView1.Name = "textView1";
this.textView1.Size = new System.Drawing.Size(150, 125);
this.textView1.TabIndex = 1;
this.textView1.Text = "textView1";
//
// CodeView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.textView1);
this.Controls.Add(this.toolStrip);
this.Name = "CodeView";
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(LowLevelView));
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.lblMemoryView = new System.Windows.Forms.Label();
this.lblDisassembly = new System.Windows.Forms.Label();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.btnBack = new System.Windows.Forms.ToolStripButton();
this.btnForward = new System.Windows.Forms.ToolStripButton();
this.toolStripLabel1 = new System.Windows.Forms.ToolStripLabel();
this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
this.txtAddress = new System.Windows.Forms.ToolStripTextBox();
this.btnGo = new System.Windows.Forms.ToolStripButton();
this.lowLeveImages = new System.Windows.Forms.ImageList(this.components);
this.memCtrl = new Reko.Gui.Windows.Controls.MemoryControl();
this.dasmCtrl = new Reko.Gui.Windows.Controls.DisassemblyControl();
this.imageMapControl1 = new Reko.Gui.Windows.Controls.ImageMapView();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.toolStrip.SuspendLayout();
this.SuspendLayout();
//
// splitContainer1
//
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 48);
this.splitContainer1.Name = "splitContainer1";
this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.memCtrl);
this.splitContainer1.Panel1.Controls.Add(this.lblMemoryView);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.dasmCtrl);
this.splitContainer1.Panel2.Controls.Add(this.lblDisassembly);
this.splitContainer1.Size = new System.Drawing.Size(858, 433);
this.splitContainer1.SplitterDistance = 256;
this.splitContainer1.TabIndex = 0;
//
// lblMemoryView
//
this.lblMemoryView.BackColor = System.Drawing.SystemColors.InactiveCaption;
this.lblMemoryView.Dock = System.Windows.Forms.DockStyle.Top;
this.lblMemoryView.Font = new System.Drawing.Font("Tahoma", 9F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.lblMemoryView.ForeColor = System.Drawing.SystemColors.InactiveCaptionText;
this.lblMemoryView.Location = new System.Drawing.Point(0, 0);
this.lblMemoryView.Name = "lblMemoryView";
this.lblMemoryView.Size = new System.Drawing.Size(858, 18);
this.lblMemoryView.TabIndex = 1;
this.lblMemoryView.Text = "Memory View";
this.lblMemoryView.TextAlign = System.Drawing.ContentAlignment.MiddleLeft;
//
// lblDisassembly
//
this.lblDisassembly.BackColor = System.Drawing.SystemColors.InactiveCaption;
this.lblDisassembly.Dock = System.Windows.Forms.DockStyle.Top;
this.lblDisassembly.Font = new System.Drawing.Font("Tahoma", 9F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.lblDisassembly.ForeColor = System.Drawing.SystemColors.InactiveCaptionText;
this.lblDisassembly.Location = new System.Drawing.Point(0, 0);
this.lblDisassembly.Margin = new System.Windows.Forms.Padding(3, 0, 3, 3);
this.lblDisassembly.Name = "lblDisassembly";
this.lblDisassembly.Size = new System.Drawing.Size(858, 18);
this.lblDisassembly.TabIndex = 1;
this.lblDisassembly.Text = "Disassembly";
this.lblDisassembly.TextAlign = System.Drawing.ContentAlignment.MiddleLeft;
//
// toolStrip
//
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.btnBack,
this.btnForward,
this.toolStripLabel1,
this.toolStripSeparator1,
this.txtAddress,
this.btnGo});
this.toolStrip.Location = new System.Drawing.Point(0, 23);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(858, 25);
this.toolStrip.TabIndex = 3;
this.toolStrip.Text = "toolStrip1";
//
// btnBack
//
this.btnBack.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnBack.Image = global::Reko.Properties.Resources.Back;
this.btnBack.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnBack.Name = "btnBack";
this.btnBack.Size = new System.Drawing.Size(23, 22);
this.btnBack.Text = "Back";
//
// btnForward
//
this.btnForward.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnForward.Image = global::Reko.Properties.Resources.Forward;
this.btnForward.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnForward.Name = "btnForward";
this.btnForward.Size = new System.Drawing.Size(23, 22);
this.btnForward.Text = "Forward";
//
// toolStripLabel1
//
this.toolStripLabel1.Name = "toolStripLabel1";
this.toolStripLabel1.Size = new System.Drawing.Size(49, 22);
this.toolStripLabel1.Text = "Address";
//
// toolStripSeparator1
//
this.toolStripSeparator1.Name = "toolStripSeparator1";
this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
//
// txtAddress
//
this.txtAddress.Name = "txtAddress";
this.txtAddress.Size = new System.Drawing.Size(100, 25);
//
// btnGo
//
this.btnGo.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
this.btnGo.Image = ((System.Drawing.Image)(resources.GetObject("btnGo.Image")));
this.btnGo.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnGo.Name = "btnGo";
this.btnGo.Size = new System.Drawing.Size(26, 22);
this.btnGo.Text = "Go";
//
// lowLeveImages
//
this.lowLeveImages.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
this.lowLeveImages.ImageSize = new System.Drawing.Size(16, 16);
this.lowLeveImages.TransparentColor = System.Drawing.Color.Transparent;
//
// memCtrl
//
this.memCtrl.Architecture = null;
this.memCtrl.BytesPerRow = ((uint)(16u));
this.memCtrl.Dock = System.Windows.Forms.DockStyle.Fill;
this.memCtrl.ImageMap = null;
this.memCtrl.Location = new System.Drawing.Point(0, 18);
this.memCtrl.Name = "memCtrl";
this.memCtrl.ProgramImage = null;
this.memCtrl.SelectedAddress = null;
this.memCtrl.Services = null;
this.memCtrl.Size = new System.Drawing.Size(858, 238);
this.memCtrl.TabIndex = 0;
this.memCtrl.Text = "memoryControl1";
this.memCtrl.TopAddress = null;
this.memCtrl.WordSize = ((uint)(1u));
//
// dasmCtrl
//
this.dasmCtrl.BackColor = System.Drawing.SystemColors.Window;
this.dasmCtrl.Dock = System.Windows.Forms.DockStyle.Fill;
this.dasmCtrl.Location = new System.Drawing.Point(0, 18);
this.dasmCtrl.Model = emptyEditorModel1;
this.dasmCtrl.Name = "dasmCtrl";
this.dasmCtrl.SelectedObject = null;
this.dasmCtrl.Services = null;
this.dasmCtrl.Size = new System.Drawing.Size(858, 155);
this.dasmCtrl.StartAddress = null;
this.dasmCtrl.TabIndex = 0;
this.dasmCtrl.Text = "disassemblyControl1";
this.dasmCtrl.TopAddress = null;
//
// imageMapControl1
//
this.imageMapControl1.BackColor = System.Drawing.SystemColors.Control;
this.imageMapControl1.Dock = System.Windows.Forms.DockStyle.Top;
this.imageMapControl1.ImageMap = null;
this.imageMapControl1.Location = new System.Drawing.Point(0, 0);
this.imageMapControl1.Name = "imageMapControl1";
this.imageMapControl1.Size = new System.Drawing.Size(858, 23);
this.imageMapControl1.TabIndex = 4;
this.imageMapControl1.Text = "imageMapControl1";
//
// LowLevelView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.splitContainer1);
this.Controls.Add(this.toolStrip);
this.Controls.Add(this.imageMapControl1);
this.Name = "LowLevelView";
this.Size = new System.Drawing.Size(858, 481);
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel2 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(UserPreferencesDialog));
this.btnOK = new System.Windows.Forms.Button();
this.btnCancel = new System.Windows.Forms.Button();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabWindows = new System.Windows.Forms.TabPage();
this.btnReset = new System.Windows.Forms.Button();
this.listView = new System.Windows.Forms.ListView();
this.columnHeader1 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
this.columnHeader2 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
this.columnHeader3 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
this.dasmCtl = new Reko.Gui.Windows.Controls.DisassemblyControl();
this.codeCtl = new Reko.Gui.Windows.Controls.TextView();
this.memCtl = new Reko.Gui.Windows.Controls.MemoryControl();
this.treeView1 = new System.Windows.Forms.TreeView();
this.btnWindowBgColor = new System.Windows.Forms.Button();
this.btnWindowFgColor = new System.Windows.Forms.Button();
this.btnWindowFont = new System.Windows.Forms.Button();
this.treeBrowser = new System.Windows.Forms.TreeView();
this.imlBrowser = new System.Windows.Forms.ImageList(this.components);
this.tabColors = new System.Windows.Forms.TabPage();
this.label1 = new System.Windows.Forms.Label();
this.btnElementBgColor = new System.Windows.Forms.Button();
this.label2 = new System.Windows.Forms.Label();
this.btnElementFgColor = new System.Windows.Forms.Button();
this.lbxUiElements = new System.Windows.Forms.ListBox();
this.colorPicker = new System.Windows.Forms.ColorDialog();
this.fontPicker = new System.Windows.Forms.FontDialog();
this.tabControl1.SuspendLayout();
this.tabWindows.SuspendLayout();
this.tabColors.SuspendLayout();
this.SuspendLayout();
//
// 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(426, 273);
this.btnOK.Name = "btnOK";
this.btnOK.Size = new System.Drawing.Size(75, 23);
this.btnOK.TabIndex = 0;
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(507, 273);
this.btnCancel.Name = "btnCancel";
this.btnCancel.Size = new System.Drawing.Size(75, 23);
this.btnCancel.TabIndex = 1;
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.tabWindows);
this.tabControl1.Controls.Add(this.tabColors);
this.tabControl1.Location = new System.Drawing.Point(0, 0);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(595, 267);
this.tabControl1.TabIndex = 2;
//
// tabWindows
//
this.tabWindows.Controls.Add(this.btnReset);
this.tabWindows.Controls.Add(this.listView);
this.tabWindows.Controls.Add(this.dasmCtl);
this.tabWindows.Controls.Add(this.codeCtl);
this.tabWindows.Controls.Add(this.memCtl);
this.tabWindows.Controls.Add(this.treeView1);
this.tabWindows.Controls.Add(this.btnWindowBgColor);
this.tabWindows.Controls.Add(this.btnWindowFgColor);
this.tabWindows.Controls.Add(this.btnWindowFont);
this.tabWindows.Controls.Add(this.treeBrowser);
this.tabWindows.Location = new System.Drawing.Point(4, 22);
this.tabWindows.Name = "tabWindows";
this.tabWindows.Padding = new System.Windows.Forms.Padding(3);
this.tabWindows.Size = new System.Drawing.Size(587, 241);
this.tabWindows.TabIndex = 0;
this.tabWindows.Text = "Windows";
this.tabWindows.UseVisualStyleBackColor = true;
//
// button1
//
this.btnReset.Location = new System.Drawing.Point(474, 7);
this.btnReset.Name = "button1";
this.btnReset.Size = new System.Drawing.Size(92, 23);
this.btnReset.TabIndex = 11;
this.btnReset.Text = "&Reset";
this.btnReset.UseVisualStyleBackColor = true;
//
// listView
//
this.listView.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.listView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
this.columnHeader1,
this.columnHeader2,
this.columnHeader3
});
this.listView.Location = new System.Drawing.Point(180, 37);
this.listView.Name = "listView";
this.listView.Size = new System.Drawing.Size(404, 185);
this.listView.TabIndex = 10;
this.listView.UseCompatibleStateImageBehavior = false;
this.listView.View = System.Windows.Forms.View.Details;
//
// columnHeader1
//
this.columnHeader1.Text = "Program";
this.columnHeader1.Width = 86;
//
// columnHeader2
//
this.columnHeader2.Text = "Address";
//
// columnHeader3
//
this.columnHeader3.Text = "Description";
this.columnHeader3.Width = 101;
//
// dasmCtl
//
this.dasmCtl.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.dasmCtl.Location = new System.Drawing.Point(180, 37);
this.dasmCtl.Model = emptyEditorModel1;
this.dasmCtl.Name = "dasmCtl";
this.dasmCtl.SelectedObject = null;
this.dasmCtl.Services = null;
this.dasmCtl.Size = new System.Drawing.Size(404, 185);
this.dasmCtl.StartAddress = null;
this.dasmCtl.StyleClass = null;
this.dasmCtl.TabIndex = 8;
this.dasmCtl.TopAddress = null;
//
// codeCtl
//
this.codeCtl.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.codeCtl.Location = new System.Drawing.Point(180, 37);
this.codeCtl.Model = emptyEditorModel2;
this.codeCtl.Name = "codeCtl";
this.codeCtl.Services = null;
this.codeCtl.Size = new System.Drawing.Size(404, 185);
this.codeCtl.StyleClass = null;
this.codeCtl.TabIndex = 7;
this.codeCtl.Text = "textView1";
//
// memCtl
//
this.memCtl.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.memCtl.Architecture = null;
this.memCtl.BytesPerRow = ((uint)(16u));
this.memCtl.ImageMap = null;
this.memCtl.Location = new System.Drawing.Point(180, 37);
this.memCtl.Name = "memCtl";
this.memCtl.SelectedAddress = null;
this.memCtl.Services = null;
this.memCtl.Size = new System.Drawing.Size(404, 185);
this.memCtl.TabIndex = 6;
this.memCtl.Text = "memoryControl1";
this.memCtl.TopAddress = null;
this.memCtl.WordSize = ((uint)(1u));
//
// treeView1
//
this.treeView1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)));
this.treeView1.HideSelection = false;
this.treeView1.Location = new System.Drawing.Point(7, 7);
this.treeView1.Name = "treeView1";
this.treeView1.ShowPlusMinus = false;
this.treeView1.Size = new System.Drawing.Size(164, 215);
this.treeView1.TabIndex = 5;
//
// btnWindowBgColor
//
this.btnWindowBgColor.Location = new System.Drawing.Point(376, 7);
this.btnWindowBgColor.Name = "btnWindowBgColor";
this.btnWindowBgColor.Size = new System.Drawing.Size(92, 23);
this.btnWindowBgColor.TabIndex = 3;
this.btnWindowBgColor.Text = "&Background...";
this.btnWindowBgColor.UseVisualStyleBackColor = true;
//
// btnWindowFgColor
//
this.btnWindowFgColor.Location = new System.Drawing.Point(278, 7);
this.btnWindowFgColor.Name = "btnWindowFgColor";
this.btnWindowFgColor.Size = new System.Drawing.Size(92, 23);
this.btnWindowFgColor.TabIndex = 2;
this.btnWindowFgColor.Text = "&Foreground...";
this.btnWindowFgColor.UseVisualStyleBackColor = true;
//
// btnWindowFont
//
this.btnWindowFont.Location = new System.Drawing.Point(180, 7);
this.btnWindowFont.Name = "btnWindowFont";
this.btnWindowFont.Size = new System.Drawing.Size(92, 23);
this.btnWindowFont.TabIndex = 1;
this.btnWindowFont.Text = "Fo&nt...";
this.btnWindowFont.UseVisualStyleBackColor = true;
//
// treeBrowser
//
this.treeBrowser.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.treeBrowser.ImageIndex = 0;
this.treeBrowser.ImageList = this.imlBrowser;
this.treeBrowser.Location = new System.Drawing.Point(180, 37);
this.treeBrowser.Name = "treeBrowser";
this.treeBrowser.SelectedImageIndex = 0;
this.treeBrowser.Size = new System.Drawing.Size(404, 185);
this.treeBrowser.TabIndex = 9;
//
// imlBrowser
//
this.imlBrowser.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("imlBrowser.ImageStream")));
this.imlBrowser.TransparentColor = System.Drawing.Color.Transparent;
this.imlBrowser.Images.SetKeyName(0, "Binary.ico");
this.imlBrowser.Images.SetKeyName(1, "RxSection.ico");
this.imlBrowser.Images.SetKeyName(2, "Code.ico");
this.imlBrowser.Images.SetKeyName(3, "EntryProcedure.ico");
this.imlBrowser.Images.SetKeyName(4, "Usercode.ico");
//
// tabColors
//
this.tabColors.Controls.Add(this.label1);
this.tabColors.Controls.Add(this.btnElementBgColor);
this.tabColors.Controls.Add(this.label2);
this.tabColors.Controls.Add(this.btnElementFgColor);
this.tabColors.Controls.Add(this.lbxUiElements);
this.tabColors.Location = new System.Drawing.Point(4, 22);
this.tabColors.Name = "tabColors";
this.tabColors.Padding = new System.Windows.Forms.Padding(3);
this.tabColors.Size = new System.Drawing.Size(587, 241);
this.tabColors.TabIndex = 1;
this.tabColors.Text = "Image Bar";
this.tabColors.UseVisualStyleBackColor = true;
//
// label1
//
this.label1.Location = new System.Drawing.Point(180, 36);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(368, 47);
this.label1.TabIndex = 5;
this.label1.Text = "label1";
//
// btnElementBgColor
//
this.btnElementBgColor.Location = new System.Drawing.Point(265, 6);
this.btnElementBgColor.Name = "btnElementBgColor";
this.btnElementBgColor.Size = new System.Drawing.Size(85, 23);
this.btnElementBgColor.TabIndex = 4;
this.btnElementBgColor.Text = "&Background...";
this.btnElementBgColor.UseVisualStyleBackColor = true;
//
// label2
//
this.label2.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.label2.BackColor = System.Drawing.Color.Transparent;
this.label2.Location = new System.Drawing.Point(177, 95);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(401, 131);
this.label2.TabIndex = 3;
this.label2.Text = "lblImageBarPreview";
this.label2.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
//
// btnElementFgColor
//
this.btnElementFgColor.Location = new System.Drawing.Point(177, 6);
this.btnElementFgColor.Name = "btnElementFgColor";
this.btnElementFgColor.Size = new System.Drawing.Size(82, 23);
this.btnElementFgColor.TabIndex = 2;
this.btnElementFgColor.Text = "&Foreground...";
this.btnElementFgColor.UseVisualStyleBackColor = true;
//
// lbxUiElements
//
this.lbxUiElements.FormattingEnabled = true;
this.lbxUiElements.IntegralHeight = false;
this.lbxUiElements.Items.AddRange(new object[] {
"Code",
"Heuristic code",
"Data",
"Address",
"Unknown"
});
this.lbxUiElements.Location = new System.Drawing.Point(7, 7);
this.lbxUiElements.Name = "lbxUiElements";
this.lbxUiElements.Size = new System.Drawing.Size(164, 172);
this.lbxUiElements.TabIndex = 1;
//
// UserPreferencesDialog
//
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(594, 308);
this.Controls.Add(this.tabControl1);
this.Controls.Add(this.btnCancel);
this.Controls.Add(this.btnOK);
this.MaximizeBox = false;
this.MinimizeBox = false;
this.Name = "UserPreferencesDialog";
this.ShowIcon = false;
this.ShowInTaskbar = false;
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
this.Text = "User Preferences";
this.tabControl1.ResumeLayout(false);
this.tabWindows.ResumeLayout(false);
this.tabColors.ResumeLayout(false);
this.ResumeLayout(false);
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.btnBack = new System.Windows.Forms.ToolStripButton();
this.btnForward = new System.Windows.Forms.ToolStripButton();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.textView1 = new Reko.Gui.Windows.Controls.TextView();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabDeclaration = new System.Windows.Forms.TabPage();
this.txtDataflow = new System.Windows.Forms.TextBox();
this.txtDeclaration = new System.Windows.Forms.TextBox();
this.tabCharacteristics = new System.Windows.Forms.TabPage();
this.chkTerminates = new System.Windows.Forms.CheckBox();
this.toolStrip.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.tabControl1.SuspendLayout();
this.tabDeclaration.SuspendLayout();
this.tabCharacteristics.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.btnBack,
this.btnForward
});
this.toolStrip.Location = new System.Drawing.Point(0, 0);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(924, 25);
this.toolStrip.TabIndex = 0;
this.toolStrip.Text = "toolStrip1";
//
// btnBack
//
this.btnBack.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnBack.Image = global::Reko.Gui.Resources.Back;
this.btnBack.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnBack.Name = "btnBack";
this.btnBack.Size = new System.Drawing.Size(23, 22);
this.btnBack.Text = "toolStripButton1";
this.btnBack.ToolTipText = "Back";
//
// btnForward
//
this.btnForward.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnForward.Image = global::Reko.Gui.Resources.Forward;
this.btnForward.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnForward.Name = "btnForward";
this.btnForward.Size = new System.Drawing.Size(23, 22);
this.btnForward.Text = "toolStripButton2";
this.btnForward.ToolTipText = "Forward";
//
// splitContainer1
//
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 25);
this.splitContainer1.Name = "splitContainer1";
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.textView1);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.tabControl1);
this.splitContainer1.Size = new System.Drawing.Size(924, 382);
this.splitContainer1.SplitterDistance = 583;
this.splitContainer1.TabIndex = 2;
//
// textView1
//
this.textView1.Dock = System.Windows.Forms.DockStyle.Fill;
this.textView1.Location = new System.Drawing.Point(0, 0);
this.textView1.Model = emptyEditorModel1;
this.textView1.Name = "textView1";
this.textView1.Services = null;
this.textView1.Size = new System.Drawing.Size(583, 382);
this.textView1.TabIndex = 1;
this.textView1.Text = "textView1";
//
// 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.tabDeclaration);
this.tabControl1.Controls.Add(this.tabCharacteristics);
this.tabControl1.Location = new System.Drawing.Point(4, 3);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(311, 376);
this.tabControl1.TabIndex = 2;
//
// tabDeclaration
//
this.tabDeclaration.Controls.Add(this.txtDataflow);
this.tabDeclaration.Controls.Add(this.txtDeclaration);
this.tabDeclaration.Location = new System.Drawing.Point(4, 22);
this.tabDeclaration.Name = "tabDeclaration";
this.tabDeclaration.Padding = new System.Windows.Forms.Padding(3);
this.tabDeclaration.Size = new System.Drawing.Size(303, 350);
this.tabDeclaration.TabIndex = 0;
this.tabDeclaration.Text = "Declaration";
this.tabDeclaration.UseVisualStyleBackColor = true;
//
// txtDataflow
//
this.txtDataflow.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.txtDataflow.Location = new System.Drawing.Point(3, 194);
this.txtDataflow.Multiline = true;
this.txtDataflow.Name = "txtDataflow";
this.txtDataflow.ReadOnly = true;
this.txtDataflow.Size = new System.Drawing.Size(294, 150);
this.txtDataflow.TabIndex = 1;
//
// txtDeclaration
//
this.txtDeclaration.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.txtDeclaration.Location = new System.Drawing.Point(4, 4);
this.txtDeclaration.Multiline = true;
this.txtDeclaration.Name = "txtDeclaration";
this.txtDeclaration.Size = new System.Drawing.Size(293, 183);
this.txtDeclaration.TabIndex = 0;
//
// tabCharacteristics
//
this.tabCharacteristics.Controls.Add(this.chkTerminates);
this.tabCharacteristics.Location = new System.Drawing.Point(4, 22);
this.tabCharacteristics.Name = "tabCharacteristics";
this.tabCharacteristics.Padding = new System.Windows.Forms.Padding(3);
this.tabCharacteristics.Size = new System.Drawing.Size(303, 350);
this.tabCharacteristics.TabIndex = 1;
this.tabCharacteristics.Text = "Characteristics";
this.tabCharacteristics.UseVisualStyleBackColor = true;
//
// chkTerminates
//
this.chkTerminates.AutoSize = true;
this.chkTerminates.Location = new System.Drawing.Point(4, 7);
this.chkTerminates.Name = "chkTerminates";
this.chkTerminates.Size = new System.Drawing.Size(140, 17);
this.chkTerminates.TabIndex = 0;
this.chkTerminates.Text = "Procedure never returns";
this.chkTerminates.UseVisualStyleBackColor = true;
//
// CodeView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.splitContainer1);
this.Controls.Add(this.toolStrip);
this.Name = "CodeView";
this.Size = new System.Drawing.Size(924, 407);
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.tabControl1.ResumeLayout(false);
this.tabDeclaration.ResumeLayout(false);
this.tabDeclaration.PerformLayout();
this.tabCharacteristics.ResumeLayout(false);
this.tabCharacteristics.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Требуемый метод для поддержки конструктора — не изменяйте
/// содержимое этого метода с помощью редактора кода.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(CombinedCodeView));
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel2 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.btnBack = new System.Windows.Forms.ToolStripButton();
this.btnForward = new System.Windows.Forms.ToolStripButton();
this.toolStripLabel1 = new System.Windows.Forms.ToolStripLabel();
this.txtAddress = new System.Windows.Forms.ToolStripTextBox();
this.btnGo = new System.Windows.Forms.ToolStripButton();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.mixedCodeDataControl = new Reko.Gui.Windows.Controls.MixedCodeDataControl();
this.codeTextView = new Reko.Gui.Windows.Controls.TextView();
this.previewTimer = new System.Windows.Forms.Timer(this.components);
this.toolStrip.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.btnBack,
this.btnForward,
this.toolStripLabel1,
this.txtAddress,
this.btnGo});
this.toolStrip.Location = new System.Drawing.Point(0, 0);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(583, 25);
this.toolStrip.TabIndex = 1;
this.toolStrip.Text = "toolStrip1";
//
// btnBack
//
this.btnBack.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnBack.Image = global::Reko.Gui.Resources.Back;
this.btnBack.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnBack.Name = "btnBack";
this.btnBack.Size = new System.Drawing.Size(23, 22);
this.btnBack.Text = "toolStripButton1";
this.btnBack.ToolTipText = "Back";
//
// btnForward
//
this.btnForward.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnForward.Image = global::Reko.Gui.Resources.Forward;
this.btnForward.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnForward.Name = "btnForward";
this.btnForward.Size = new System.Drawing.Size(23, 22);
this.btnForward.Text = "toolStripButton2";
this.btnForward.ToolTipText = "Forward";
//
// toolStripLabel1
//
this.toolStripLabel1.Name = "toolStripLabel1";
this.toolStripLabel1.Size = new System.Drawing.Size(49, 22);
this.toolStripLabel1.Text = "Address";
//
// txtAddress
//
this.txtAddress.Name = "txtAddress";
this.txtAddress.Size = new System.Drawing.Size(100, 25);
//
// btnGo
//
this.btnGo.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
this.btnGo.Image = ((System.Drawing.Image)(resources.GetObject("btnGo.Image")));
this.btnGo.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnGo.Name = "btnGo";
this.btnGo.Size = new System.Drawing.Size(26, 22);
this.btnGo.Text = "Go";
//
// splitContainer1
//
this.splitContainer1.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 25);
this.splitContainer1.Name = "splitContainer1";
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.mixedCodeDataControl);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.codeTextView);
this.splitContainer1.Size = new System.Drawing.Size(583, 357);
this.splitContainer1.SplitterDistance = 194;
this.splitContainer1.TabIndex = 2;
//
// mixedCodeDataControl
//
this.mixedCodeDataControl.BackColor = System.Drawing.SystemColors.Window;
this.mixedCodeDataControl.Dock = System.Windows.Forms.DockStyle.Fill;
this.mixedCodeDataControl.Location = new System.Drawing.Point(0, 0);
this.mixedCodeDataControl.Model = emptyEditorModel1;
this.mixedCodeDataControl.Name = "mixedCodeDataControl";
this.mixedCodeDataControl.Program = null;
this.mixedCodeDataControl.Services = null;
this.mixedCodeDataControl.Size = new System.Drawing.Size(192, 355);
this.mixedCodeDataControl.StyleClass = null;
this.mixedCodeDataControl.TabIndex = 0;
this.mixedCodeDataControl.Text = "mixedCodeDataControl1";
this.mixedCodeDataControl.TopAddress = null;
//
// codeTextView
//
this.codeTextView.BackColor = System.Drawing.SystemColors.Window;
this.codeTextView.Dock = System.Windows.Forms.DockStyle.Fill;
this.codeTextView.Location = new System.Drawing.Point(0, 0);
this.codeTextView.Model = emptyEditorModel2;
this.codeTextView.Name = "codeTextView";
this.codeTextView.Services = null;
this.codeTextView.Size = new System.Drawing.Size(383, 355);
this.codeTextView.StyleClass = null;
this.codeTextView.TabIndex = 0;
this.codeTextView.Text = "codeTextView";
//
// previewTimer
//
this.previewTimer.Interval = 500;
//
// CombinedCodeView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.splitContainer1);
this.Controls.Add(this.toolStrip);
this.Name = "CombinedCodeView";
this.Size = new System.Drawing.Size(583, 382);
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(UserPreferencesDialog));
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel2 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.btnOK = new System.Windows.Forms.Button();
this.btnCancel = new System.Windows.Forms.Button();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabWindows = new System.Windows.Forms.TabPage();
this.treeView1 = new System.Windows.Forms.TreeView();
this.btnWindowBgColor = new System.Windows.Forms.Button();
this.btnWindowFgColor = new System.Windows.Forms.Button();
this.btnWindowFont = new System.Windows.Forms.Button();
this.tabColors = new System.Windows.Forms.TabPage();
this.label1 = new System.Windows.Forms.Label();
this.btnElementBgColor = new System.Windows.Forms.Button();
this.label2 = new System.Windows.Forms.Label();
this.btnElementFgColor = new System.Windows.Forms.Button();
this.lbxUiElements = new System.Windows.Forms.ListBox();
this.colorPicker = new System.Windows.Forms.ColorDialog();
this.fontPicker = new System.Windows.Forms.FontDialog();
this.treeBrowser = new System.Windows.Forms.TreeView();
this.imlBrowser = new System.Windows.Forms.ImageList(this.components);
this.listView = new System.Windows.Forms.ListView();
this.columnHeader1 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
this.columnHeader2 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
this.columnHeader3 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
this.dasmCtl = new Reko.Gui.Windows.Controls.DisassemblyControl();
this.codeCtl = new Reko.Gui.Windows.Controls.TextView();
this.memCtl = new Reko.Gui.Windows.Controls.MemoryControl();
this.tabControl1.SuspendLayout();
this.tabWindows.SuspendLayout();
this.tabColors.SuspendLayout();
this.SuspendLayout();
//
// 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(426, 273);
this.btnOK.Name = "btnOK";
this.btnOK.Size = new System.Drawing.Size(75, 23);
this.btnOK.TabIndex = 0;
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(507, 273);
this.btnCancel.Name = "btnCancel";
this.btnCancel.Size = new System.Drawing.Size(75, 23);
this.btnCancel.TabIndex = 1;
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.tabWindows);
this.tabControl1.Controls.Add(this.tabColors);
this.tabControl1.Location = new System.Drawing.Point(0, 0);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(595, 267);
this.tabControl1.TabIndex = 2;
//
// tabWindows
//
this.tabWindows.Controls.Add(this.listView);
this.tabWindows.Controls.Add(this.dasmCtl);
this.tabWindows.Controls.Add(this.codeCtl);
this.tabWindows.Controls.Add(this.memCtl);
this.tabWindows.Controls.Add(this.treeView1);
this.tabWindows.Controls.Add(this.btnWindowBgColor);
this.tabWindows.Controls.Add(this.btnWindowFgColor);
this.tabWindows.Controls.Add(this.btnWindowFont);
this.tabWindows.Controls.Add(this.treeBrowser);
this.tabWindows.Location = new System.Drawing.Point(4, 22);
this.tabWindows.Name = "tabWindows";
this.tabWindows.Padding = new System.Windows.Forms.Padding(3);
this.tabWindows.Size = new System.Drawing.Size(587, 241);
this.tabWindows.TabIndex = 0;
this.tabWindows.Text = "Windows";
this.tabWindows.UseVisualStyleBackColor = true;
//
// treeView1
//
this.treeView1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)));
this.treeView1.HideSelection = false;
this.treeView1.Location = new System.Drawing.Point(7, 7);
this.treeView1.Name = "treeView1";
this.treeView1.ShowPlusMinus = false;
this.treeView1.Size = new System.Drawing.Size(164, 219);
this.treeView1.TabIndex = 5;
//
// btnWindowBgColor
//
this.btnWindowBgColor.Location = new System.Drawing.Point(376, 8);
this.btnWindowBgColor.Name = "btnWindowBgColor";
this.btnWindowBgColor.Size = new System.Drawing.Size(94, 23);
this.btnWindowBgColor.TabIndex = 3;
this.btnWindowBgColor.Text = "Background...";
this.btnWindowBgColor.UseVisualStyleBackColor = true;
//
// btnWindowFgColor
//
this.btnWindowFgColor.Location = new System.Drawing.Point(278, 7);
this.btnWindowFgColor.Name = "btnWindowFgColor";
this.btnWindowFgColor.Size = new System.Drawing.Size(92, 23);
this.btnWindowFgColor.TabIndex = 2;
this.btnWindowFgColor.Text = "Foreground...";
this.btnWindowFgColor.UseVisualStyleBackColor = true;
//
// btnWindowFont
//
this.btnWindowFont.Location = new System.Drawing.Point(180, 7);
this.btnWindowFont.Name = "btnWindowFont";
this.btnWindowFont.Size = new System.Drawing.Size(92, 23);
this.btnWindowFont.TabIndex = 1;
this.btnWindowFont.Text = "Font...";
this.btnWindowFont.UseVisualStyleBackColor = true;
//
// tabColors
//
this.tabColors.Controls.Add(this.label1);
this.tabColors.Controls.Add(this.btnElementBgColor);
this.tabColors.Controls.Add(this.label2);
this.tabColors.Controls.Add(this.btnElementFgColor);
this.tabColors.Controls.Add(this.lbxUiElements);
this.tabColors.Location = new System.Drawing.Point(4, 22);
this.tabColors.Name = "tabColors";
this.tabColors.Padding = new System.Windows.Forms.Padding(3);
this.tabColors.Size = new System.Drawing.Size(587, 241);
this.tabColors.TabIndex = 1;
this.tabColors.Text = "Image Bar";
this.tabColors.UseVisualStyleBackColor = true;
//
// label1
//
this.label1.Location = new System.Drawing.Point(180, 36);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(368, 47);
this.label1.TabIndex = 5;
this.label1.Text = "label1";
//
// btnElementBgColor
//
this.btnElementBgColor.Location = new System.Drawing.Point(265, 6);
this.btnElementBgColor.Name = "btnElementBgColor";
this.btnElementBgColor.Size = new System.Drawing.Size(85, 23);
this.btnElementBgColor.TabIndex = 4;
this.btnElementBgColor.Text = "&Background...";
this.btnElementBgColor.UseVisualStyleBackColor = true;
//
// label2
//
this.label2.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.label2.BackColor = System.Drawing.Color.Transparent;
this.label2.Location = new System.Drawing.Point(177, 95);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(401, 131);
this.label2.TabIndex = 3;
this.label2.Text = "lblImageBarPreview";
this.label2.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
//
// btnElementFgColor
//
this.btnElementFgColor.Location = new System.Drawing.Point(177, 6);
this.btnElementFgColor.Name = "btnElementFgColor";
this.btnElementFgColor.Size = new System.Drawing.Size(82, 23);
this.btnElementFgColor.TabIndex = 2;
this.btnElementFgColor.Text = "&Foreground...";
this.btnElementFgColor.UseVisualStyleBackColor = true;
//
// lbxUiElements
//
this.lbxUiElements.FormattingEnabled = true;
this.lbxUiElements.IntegralHeight = false;
this.lbxUiElements.Items.AddRange(new object[] {
"Code",
"Heuristic code",
"Data",
"Address",
"Unknown"});
this.lbxUiElements.Location = new System.Drawing.Point(7, 7);
this.lbxUiElements.Name = "lbxUiElements";
this.lbxUiElements.Size = new System.Drawing.Size(164, 172);
this.lbxUiElements.TabIndex = 1;
//
// treeBrowser
//
this.treeBrowser.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.treeBrowser.ImageIndex = 0;
this.treeBrowser.ImageList = this.imlBrowser;
this.treeBrowser.Location = new System.Drawing.Point(180, 37);
this.treeBrowser.Name = "treeBrowser";
this.treeBrowser.SelectedImageIndex = 0;
this.treeBrowser.Size = new System.Drawing.Size(404, 185);
this.treeBrowser.TabIndex = 9;
//
// imlBrowser
//
this.imlBrowser.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("imlBrowser.ImageStream")));
this.imlBrowser.TransparentColor = System.Drawing.Color.Transparent;
this.imlBrowser.Images.SetKeyName(0, "Binary.ico");
this.imlBrowser.Images.SetKeyName(1, "RxSection.ico");
this.imlBrowser.Images.SetKeyName(2, "Code.ico");
this.imlBrowser.Images.SetKeyName(3, "EntryProcedure.ico");
this.imlBrowser.Images.SetKeyName(4, "Usercode.ico");
//
// listView
//
this.listView.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.listView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
this.columnHeader1,
this.columnHeader2,
this.columnHeader3});
this.listView.Location = new System.Drawing.Point(180, 37);
this.listView.Name = "listView";
this.listView.Size = new System.Drawing.Size(404, 185);
this.listView.TabIndex = 10;
this.listView.UseCompatibleStateImageBehavior = false;
this.listView.View = System.Windows.Forms.View.Details;
//
// columnHeader1
//
this.columnHeader1.Text = "Program";
this.columnHeader1.Width = 86;
//
// columnHeader2
//
this.columnHeader2.Text = "Address";
//
// columnHeader3
//
this.columnHeader3.Text = "Description";
this.columnHeader3.Width = 101;
//
// dasmCtl
//
this.dasmCtl.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.dasmCtl.Location = new System.Drawing.Point(180, 37);
this.dasmCtl.Model = emptyEditorModel1;
this.dasmCtl.Name = "dasmCtl";
this.dasmCtl.SelectedObject = null;
this.dasmCtl.Services = null;
this.dasmCtl.Size = new System.Drawing.Size(404, 185);
this.dasmCtl.StartAddress = null;
this.dasmCtl.StyleClass = null;
this.dasmCtl.TabIndex = 8;
this.dasmCtl.TopAddress = null;
//
// codeCtl
//
this.codeCtl.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.codeCtl.Location = new System.Drawing.Point(180, 37);
this.codeCtl.Model = emptyEditorModel2;
this.codeCtl.Name = "codeCtl";
this.codeCtl.Services = null;
this.codeCtl.Size = new System.Drawing.Size(404, 185);
this.codeCtl.StyleClass = null;
this.codeCtl.TabIndex = 7;
this.codeCtl.Text = "textView1";
//
// memCtl
//
this.memCtl.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.memCtl.Architecture = null;
this.memCtl.BytesPerRow = ((uint)(16u));
this.memCtl.ImageMap = null;
this.memCtl.Location = new System.Drawing.Point(180, 37);
this.memCtl.Name = "memCtl";
this.memCtl.ProgramImage = null;
this.memCtl.SelectedAddress = null;
this.memCtl.Services = null;
this.memCtl.Size = new System.Drawing.Size(404, 185);
this.memCtl.TabIndex = 6;
this.memCtl.Text = "memoryControl1";
this.memCtl.TopAddress = null;
this.memCtl.WordSize = ((uint)(1u));
//
// UserPreferencesDialog
//
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(594, 308);
this.Controls.Add(this.tabControl1);
this.Controls.Add(this.btnCancel);
this.Controls.Add(this.btnOK);
this.MaximizeBox = false;
this.MinimizeBox = false;
this.Name = "UserPreferencesDialog";
this.ShowIcon = false;
this.ShowInTaskbar = false;
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
this.Text = "User Preferences";
this.tabControl1.ResumeLayout(false);
this.tabWindows.ResumeLayout(false);
this.tabColors.ResumeLayout(false);
this.ResumeLayout(false);
}
/// <summary>
/// Требуемый метод для поддержки конструктора — не изменяйте
/// содержимое этого метода с помощью редактора кода.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(CombinedCodeView));
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel2 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.btnBack = new System.Windows.Forms.ToolStripButton();
this.btnForward = new System.Windows.Forms.ToolStripButton();
this.toolStripLabel1 = new System.Windows.Forms.ToolStripLabel();
this.txtAddress = new System.Windows.Forms.ToolStripTextBox();
this.btnGo = new System.Windows.Forms.ToolStripButton();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.mixedCodeDataControl = new Reko.Gui.Windows.Controls.MixedCodeDataControl();
this.codeTextView = new Reko.Gui.Windows.Controls.TextView();
this.previewTimer = new System.Windows.Forms.Timer(this.components);
this.toolStrip.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.btnBack,
this.btnForward,
this.toolStripLabel1,
this.txtAddress,
this.btnGo
});
this.toolStrip.Location = new System.Drawing.Point(0, 0);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(583, 25);
this.toolStrip.TabIndex = 1;
this.toolStrip.Text = "toolStrip1";
//
// btnBack
//
this.btnBack.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnBack.Image = global::Reko.Gui.Resources.Back;
this.btnBack.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnBack.Name = "btnBack";
this.btnBack.Size = new System.Drawing.Size(23, 22);
this.btnBack.Text = "toolStripButton1";
this.btnBack.ToolTipText = "Back";
//
// btnForward
//
this.btnForward.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnForward.Image = global::Reko.Gui.Resources.Forward;
this.btnForward.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnForward.Name = "btnForward";
this.btnForward.Size = new System.Drawing.Size(23, 22);
this.btnForward.Text = "toolStripButton2";
this.btnForward.ToolTipText = "Forward";
//
// toolStripLabel1
//
this.toolStripLabel1.Name = "toolStripLabel1";
this.toolStripLabel1.Size = new System.Drawing.Size(49, 22);
this.toolStripLabel1.Text = "Address";
//
// txtAddress
//
this.txtAddress.Name = "txtAddress";
this.txtAddress.Size = new System.Drawing.Size(100, 25);
//
// btnGo
//
this.btnGo.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
this.btnGo.Image = ((System.Drawing.Image)(resources.GetObject("btnGo.Image")));
this.btnGo.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnGo.Name = "btnGo";
this.btnGo.Size = new System.Drawing.Size(26, 22);
this.btnGo.Text = "Go";
//
// splitContainer1
//
this.splitContainer1.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 25);
this.splitContainer1.Name = "splitContainer1";
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.mixedCodeDataControl);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.codeTextView);
this.splitContainer1.Size = new System.Drawing.Size(583, 357);
this.splitContainer1.SplitterDistance = 194;
this.splitContainer1.TabIndex = 2;
//
// mixedCodeDataControl
//
this.mixedCodeDataControl.BackColor = System.Drawing.SystemColors.Window;
this.mixedCodeDataControl.Dock = System.Windows.Forms.DockStyle.Fill;
this.mixedCodeDataControl.Location = new System.Drawing.Point(0, 0);
this.mixedCodeDataControl.Model = emptyEditorModel1;
this.mixedCodeDataControl.Name = "mixedCodeDataControl";
this.mixedCodeDataControl.Program = null;
this.mixedCodeDataControl.Services = null;
this.mixedCodeDataControl.Size = new System.Drawing.Size(192, 355);
this.mixedCodeDataControl.StyleClass = null;
this.mixedCodeDataControl.TabIndex = 0;
this.mixedCodeDataControl.Text = "mixedCodeDataControl1";
this.mixedCodeDataControl.TopAddress = null;
//
// codeTextView
//
this.codeTextView.BackColor = System.Drawing.SystemColors.Window;
this.codeTextView.Dock = System.Windows.Forms.DockStyle.Fill;
this.codeTextView.Location = new System.Drawing.Point(0, 0);
this.codeTextView.Model = emptyEditorModel2;
this.codeTextView.Name = "codeTextView";
this.codeTextView.Services = null;
this.codeTextView.Size = new System.Drawing.Size(383, 355);
this.codeTextView.StyleClass = null;
this.codeTextView.TabIndex = 0;
this.codeTextView.Text = "codeTextView";
//
// previewTimer
//
this.previewTimer.Interval = 500;
//
// CombinedCodeView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.splitContainer1);
this.Controls.Add(this.toolStrip);
this.Name = "CombinedCodeView";
this.Size = new System.Drawing.Size(583, 382);
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.toolStripButton1 = new System.Windows.Forms.ToolStripButton();
this.toolStripButton2 = new System.Windows.Forms.ToolStripButton();
this.textView1 = new Reko.Gui.Windows.Controls.TextView();
this.toolStrip.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripButton1,
this.toolStripButton2
});
this.toolStrip.Location = new System.Drawing.Point(0, 0);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(150, 25);
this.toolStrip.TabIndex = 0;
this.toolStrip.Text = "toolStrip1";
//
// toolStripButton1
//
this.toolStripButton1.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.toolStripButton1.Image = global::Reko.Properties.Resources.Back;
this.toolStripButton1.ImageTransparentColor = System.Drawing.Color.Magenta;
this.toolStripButton1.Name = "toolStripButton1";
this.toolStripButton1.Size = new System.Drawing.Size(23, 22);
this.toolStripButton1.Text = "toolStripButton1";
//
// toolStripButton2
//
this.toolStripButton2.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.toolStripButton2.Image = global::Reko.Properties.Resources.Forward;
this.toolStripButton2.ImageTransparentColor = System.Drawing.Color.Magenta;
this.toolStripButton2.Name = "toolStripButton2";
this.toolStripButton2.Size = new System.Drawing.Size(23, 22);
this.toolStripButton2.Text = "toolStripButton2";
//
// textView1
//
this.textView1.Dock = System.Windows.Forms.DockStyle.Fill;
this.textView1.Location = new System.Drawing.Point(0, 25);
this.textView1.Model = emptyEditorModel1;
this.textView1.Name = "textView1";
this.textView1.Size = new System.Drawing.Size(150, 125);
this.textView1.TabIndex = 1;
this.textView1.Text = "textView1";
//
// CodeView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.textView1);
this.Controls.Add(this.toolStrip);
this.Name = "CodeView";
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
Reko.Gui.Windows.Controls.EmptyEditorModel emptyEditorModel1 = new Reko.Gui.Windows.Controls.EmptyEditorModel();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.btnBack = new System.Windows.Forms.ToolStripButton();
this.btnForward = new System.Windows.Forms.ToolStripButton();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.textView1 = new Reko.Gui.Windows.Controls.TextView();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabDeclaration = new System.Windows.Forms.TabPage();
this.txtDataflow = new System.Windows.Forms.TextBox();
this.txtDeclaration = new System.Windows.Forms.TextBox();
this.tabCharacteristics = new System.Windows.Forms.TabPage();
this.chkTerminates = new System.Windows.Forms.CheckBox();
this.toolStrip.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.tabControl1.SuspendLayout();
this.tabDeclaration.SuspendLayout();
this.tabCharacteristics.SuspendLayout();
this.SuspendLayout();
//
// toolStrip
//
this.toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.btnBack,
this.btnForward});
this.toolStrip.Location = new System.Drawing.Point(0, 0);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(924, 25);
this.toolStrip.TabIndex = 0;
this.toolStrip.Text = "toolStrip1";
//
// btnBack
//
this.btnBack.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnBack.Image = global::Reko.Gui.Resources.Back;
this.btnBack.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnBack.Name = "btnBack";
this.btnBack.Size = new System.Drawing.Size(23, 22);
this.btnBack.Text = "toolStripButton1";
this.btnBack.ToolTipText = "Back";
//
// btnForward
//
this.btnForward.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.btnForward.Image = global::Reko.Gui.Resources.Forward;
this.btnForward.ImageTransparentColor = System.Drawing.Color.Magenta;
this.btnForward.Name = "btnForward";
this.btnForward.Size = new System.Drawing.Size(23, 22);
this.btnForward.Text = "toolStripButton2";
this.btnForward.ToolTipText = "Forward";
//
// splitContainer1
//
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 25);
this.splitContainer1.Name = "splitContainer1";
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.textView1);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.tabControl1);
this.splitContainer1.Size = new System.Drawing.Size(924, 382);
this.splitContainer1.SplitterDistance = 583;
this.splitContainer1.TabIndex = 2;
//
// textView1
//
this.textView1.Dock = System.Windows.Forms.DockStyle.Fill;
this.textView1.Location = new System.Drawing.Point(0, 0);
this.textView1.Model = emptyEditorModel1;
this.textView1.Name = "textView1";
this.textView1.Services = null;
this.textView1.Size = new System.Drawing.Size(583, 382);
this.textView1.TabIndex = 1;
this.textView1.Text = "textView1";
//
// 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.tabDeclaration);
this.tabControl1.Controls.Add(this.tabCharacteristics);
this.tabControl1.Location = new System.Drawing.Point(4, 3);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(311, 376);
this.tabControl1.TabIndex = 2;
//
// tabDeclaration
//
this.tabDeclaration.Controls.Add(this.txtDataflow);
this.tabDeclaration.Controls.Add(this.txtDeclaration);
this.tabDeclaration.Location = new System.Drawing.Point(4, 22);
this.tabDeclaration.Name = "tabDeclaration";
this.tabDeclaration.Padding = new System.Windows.Forms.Padding(3);
this.tabDeclaration.Size = new System.Drawing.Size(303, 350);
this.tabDeclaration.TabIndex = 0;
this.tabDeclaration.Text = "Declaration";
this.tabDeclaration.UseVisualStyleBackColor = true;
//
// txtDataflow
//
this.txtDataflow.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.txtDataflow.Location = new System.Drawing.Point(3, 194);
this.txtDataflow.Multiline = true;
this.txtDataflow.Name = "txtDataflow";
this.txtDataflow.ReadOnly = true;
this.txtDataflow.Size = new System.Drawing.Size(294, 150);
this.txtDataflow.TabIndex = 1;
//
// txtDeclaration
//
this.txtDeclaration.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.txtDeclaration.Location = new System.Drawing.Point(4, 4);
this.txtDeclaration.Multiline = true;
this.txtDeclaration.Name = "txtDeclaration";
this.txtDeclaration.Size = new System.Drawing.Size(293, 183);
this.txtDeclaration.TabIndex = 0;
//
// tabCharacteristics
//
this.tabCharacteristics.Controls.Add(this.chkTerminates);
this.tabCharacteristics.Location = new System.Drawing.Point(4, 22);
this.tabCharacteristics.Name = "tabCharacteristics";
this.tabCharacteristics.Padding = new System.Windows.Forms.Padding(3);
this.tabCharacteristics.Size = new System.Drawing.Size(303, 350);
this.tabCharacteristics.TabIndex = 1;
this.tabCharacteristics.Text = "Characteristics";
this.tabCharacteristics.UseVisualStyleBackColor = true;
//
// chkTerminates
//
this.chkTerminates.AutoSize = true;
this.chkTerminates.Location = new System.Drawing.Point(4, 7);
this.chkTerminates.Name = "chkTerminates";
this.chkTerminates.Size = new System.Drawing.Size(140, 17);
this.chkTerminates.TabIndex = 0;
this.chkTerminates.Text = "Procedure never returns";
this.chkTerminates.UseVisualStyleBackColor = true;
//
// CodeView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.splitContainer1);
this.Controls.Add(this.toolStrip);
this.Name = "CodeView";
this.Size = new System.Drawing.Size(924, 407);
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.tabControl1.ResumeLayout(false);
this.tabDeclaration.ResumeLayout(false);
this.tabDeclaration.PerformLayout();
this.tabCharacteristics.ResumeLayout(false);
this.tabCharacteristics.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
