diff options
| author |  MichalMoskal <unknown> | 2010-10-12 01:18:30 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-12 01:18:30 +0000 |
| commit | 2b1ddfbe8bcd48da4cab27e06078de59eecc8f40 (patch) | |
| tree | e5780b623322903e7a37bb5efb68d24b6eadaed9 /Source/ModelViewer/Main.Designer.cs | |
| parent | 4fc18b2fe45c9a29cb0b8fe93d3102cec9c83194 (diff) | |
Starting work on Boogie Model Viewer.
Diffstat (limited to 'Source/ModelViewer/Main.Designer.cs')
| -rw-r--r-- | Source/ModelViewer/Main.Designer.cs | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs new file mode 100644 index 00000000..64aab748 --- /dev/null +++ b/Source/ModelViewer/Main.Designer.cs @@ -0,0 +1,91 @@ +namespace ModelViewer
+{
+ partial class Main
+ {
+ /// <summary>
+ /// Required designer variable.
+ /// </summary>
+ private System.ComponentModel.IContainer components = null;
+
+ /// <summary>
+ /// Clean up any resources being used.
+ /// </summary>
+ /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
+ protected override void Dispose(bool disposing)
+ {
+ if (disposing && (components != null)) {
+ components.Dispose();
+ }
+ base.Dispose(disposing);
+ }
+
+ #region Windows Form Designer generated code
+
+ /// <summary>
+ /// Required method for Designer support - do not modify
+ /// the contents of this method with the code editor.
+ /// </summary>
+ private void InitializeComponent()
+ {
+ this.listView1 = new System.Windows.Forms.ListView();
+ this.name = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
+ this.value = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
+ this.SuspendLayout();
+ //
+ // listView1
+ //
+ this.listView1.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
+ this.name,
+ this.value});
+ this.listView1.Dock = System.Windows.Forms.DockStyle.Fill;
+ this.listView1.FullRowSelect = true;
+ this.listView1.GridLines = true;
+ this.listView1.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.Nonclickable;
+ this.listView1.Location = new System.Drawing.Point(0, 0);
+ this.listView1.MultiSelect = false;
+ this.listView1.Name = "listView1";
+ this.listView1.OwnerDraw = true;
+ this.listView1.ShowItemToolTips = true;
+ this.listView1.Size = new System.Drawing.Size(851, 689);
+ this.listView1.TabIndex = 0;
+ this.listView1.UseCompatibleStateImageBehavior = false;
+ this.listView1.View = System.Windows.Forms.View.Details;
+ this.listView1.ColumnWidthChanged += new System.Windows.Forms.ColumnWidthChangedEventHandler(this.listView1_ColumnWidthChanged);
+ this.listView1.DrawColumnHeader += new System.Windows.Forms.DrawListViewColumnHeaderEventHandler(this.listView1_DrawColumnHeader);
+ this.listView1.DrawItem += new System.Windows.Forms.DrawListViewItemEventHandler(this.listView1_DrawItem);
+ this.listView1.DrawSubItem += new System.Windows.Forms.DrawListViewSubItemEventHandler(this.listView1_DrawSubItem);
+ this.listView1.MouseMove += new System.Windows.Forms.MouseEventHandler(this.listView1_MouseMove);
+ this.listView1.MouseUp += new System.Windows.Forms.MouseEventHandler(this.listView1_MouseUp);
+ //
+ // name
+ //
+ this.name.Text = "Name";
+ this.name.Width = 190;
+ //
+ // value
+ //
+ this.value.Text = "Value";
+ this.value.Width = 500;
+ //
+ // Main
+ //
+ this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
+ this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
+ this.ClientSize = new System.Drawing.Size(851, 689);
+ this.Controls.Add(this.listView1);
+ this.Name = "Main";
+ this.Text = "Boogie Model Viewer";
+ this.ResumeLayout(false);
+
+ }
+
+ #endregion
+
+ private System.Windows.Forms.ListView listView1;
+ private System.Windows.Forms.ColumnHeader name;
+ private System.Windows.Forms.ColumnHeader value;
+
+
+ }
+}
+
|