- Main Page
- Classes
- Files

- File List

# C:/Users/Andreas Schiffler/Desktop/SVN/NewGamePhysics/InfoBrowser/InfoBrowserForm.Designer.cs

    00001 ﻿namespace InfoBrowser
    00002 {
    00003     partial class InfoBrowserForm
    00004     {
    00008         private System.ComponentModel.IContainer components = null;
    00009
    00014         protected override void Dispose(bool disposing)
    00015         {
    00016             if (disposing && (components != null))
    00017             {
    00018                 components.Dispose();
    00019             }
    00020             base.Dispose(disposing);
    00021         }
    00022
    00023         #region Windows Form Designer generated code
    00024
    00029         private void InitializeComponent()
    00030         {
    00031             System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(InfoBrowserForm));
    00032             this.menuStrip1 = new System.Windows.Forms.MenuStrip();
    00033             this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    00034             this.saveInfoLinksAsHTMLToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    00035             this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    00036             this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    00037             this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    00038             this.toolStrip1 = new System.Windows.Forms.ToolStrip();
    00039             this.toolStripButton1 = new System.Windows.Forms.ToolStripButton();
    00040             this.toolStripButton2 = new System.Windows.Forms.ToolStripButton();
    00041             this.toolStripButton3 = new System.Windows.Forms.ToolStripButton();
    00042             this.toolStripButton4 = new System.Windows.Forms.ToolStripButton();
    00043             this.statusStrip1 = new System.Windows.Forms.StatusStrip();
    00044             this.toolStripStatusLabel1 = new System.Windows.Forms.ToolStripStatusLabel();
    00045             this.splitContainer1 = new System.Windows.Forms.SplitContainer();
    00046             this.webBrowser1 = new System.Windows.Forms.WebBrowser();
    00047             this.treeViewInfoLinks = new System.Windows.Forms.TreeView();
    00048             this.textBox1 = new System.Windows.Forms.TextBox();
    00049             this.menuStrip1.SuspendLayout();
    00050             this.toolStrip1.SuspendLayout();
    00051             this.statusStrip1.SuspendLayout();
    00052             this.splitContainer1.Panel1.SuspendLayout();
    00053             this.splitContainer1.Panel2.SuspendLayout();
    00054             this.splitContainer1.SuspendLayout();
    00055             this.SuspendLayout();
    00056             //
    00057             // menuStrip1
    00058             //
    00059             this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    00060             this.fileToolStripMenuItem,
    00061             this.helpToolStripMenuItem});
    00062             this.menuStrip1.Location = new System.Drawing.Point(0, 0);
    00063             this.menuStrip1.Name = "menuStrip1";
    00064             this.menuStrip1.Size = new System.Drawing.Size(784, 24);
    00065             this.menuStrip1.TabIndex = 0;
    00066             this.menuStrip1.Text = "menuStrip1";
    00067             //
    00068             // fileToolStripMenuItem
    00069             //
    00070             this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
    00071             this.saveInfoLinksAsHTMLToolStripMenuItem,
    00072             this.exitToolStripMenuItem});
    00073             this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
    00074             this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
    00075             this.fileToolStripMenuItem.Text = "File";
    00076             //
    00077             // saveInfoLinksAsHTMLToolStripMenuItem
    00078             //
    00079             this.saveInfoLinksAsHTMLToolStripMenuItem.Name = "saveInfoLinksAsHTMLToolStripMenuItem";
    00080             this.saveInfoLinksAsHTMLToolStripMenuItem.Size = new System.Drawing.Size(199, 22);
    00081             this.saveInfoLinksAsHTMLToolStripMenuItem.Text = "Save InfoLinks as HTML";
    00082             this.saveInfoLinksAsHTMLToolStripMenuItem.Click += new System.EventHandler(this.saveInfoLinksAsHTMLToolStripMenuItem_Click);
    00083             //
    00084             // exitToolStripMenuItem
    00085             //
    00086             this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    00087             this.exitToolStripMenuItem.Size = new System.Drawing.Size(199, 22);
    00088             this.exitToolStripMenuItem.Text = "Exit";
    00089             this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
    00090             //
    00091             // helpToolStripMenuItem
    00092             //
    00093             this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
    00094             this.aboutToolStripMenuItem});
    00095             this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
    00096             this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    00097             this.helpToolStripMenuItem.Text = "Help";
    00098             //
    00099             // aboutToolStripMenuItem
    00100             //
    00101             this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    00102             this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22);
    00103             this.aboutToolStripMenuItem.Text = "About";
    00104             this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
    00105             //
    00106             // toolStrip1
    00107             //
    00108             this.toolStrip1.ImageScalingSize = new System.Drawing.Size(32, 32);
    00109             this.toolStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    00110             this.toolStripButton1,
    00111             this.toolStripButton2,
    00112             this.toolStripButton3,
    00113             this.toolStripButton4});
    00114             this.toolStrip1.Location = new System.Drawing.Point(0, 24);
    00115             this.toolStrip1.Name = "toolStrip1";
    00116             this.toolStrip1.Size = new System.Drawing.Size(784, 39);
    00117             this.toolStrip1.TabIndex = 1;
    00118             this.toolStrip1.Text = "toolStrip1";
    00119             //
    00120             // toolStripButton1
    00121             //
    00122             this.toolStripButton1.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
    00123             this.toolStripButton1.Image = ((System.Drawing.Image)(resources.GetObject("toolStripButton1.Image")));
    00124             this.toolStripButton1.ImageTransparentColor = System.Drawing.Color.Magenta;
    00125             this.toolStripButton1.Name = "toolStripButton1";
    00126             this.toolStripButton1.Size = new System.Drawing.Size(36, 36);
    00127             this.toolStripButton1.Text = "Back";
    00128             this.toolStripButton1.Click += new System.EventHandler(this.toolStripButton1_Click);
    00129             //
    00130             // toolStripButton2
    00131             //
    00132             this.toolStripButton2.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
    00133             this.toolStripButton2.Image = ((System.Drawing.Image)(resources.GetObject("toolStripButton2.Image")));
    00134             this.toolStripButton2.ImageTransparentColor = System.Drawing.Color.Magenta;
    00135             this.toolStripButton2.Name = "toolStripButton2";
    00136             this.toolStripButton2.Size = new System.Drawing.Size(36, 36);
    00137             this.toolStripButton2.Text = "Reload";
    00138             this.toolStripButton2.Click += new System.EventHandler(this.toolStripButton2_Click);
    00139             //
    00140             // toolStripButton3
    00141             //
    00142             this.toolStripButton3.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
    00143             this.toolStripButton3.Image = ((System.Drawing.Image)(resources.GetObject("toolStripButton3.Image")));
    00144             this.toolStripButton3.ImageTransparentColor = System.Drawing.Color.Magenta;
    00145             this.toolStripButton3.Name = "toolStripButton3";
    00146             this.toolStripButton3.Size = new System.Drawing.Size(36, 36);
    00147             this.toolStripButton3.Text = "Forward";
    00148             this.toolStripButton3.Click += new System.EventHandler(this.toolStripButton3_Click);
    00149             //
    00150             // toolStripButton4
    00151             //
    00152             this.toolStripButton4.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
    00153             this.toolStripButton4.Image = ((System.Drawing.Image)(resources.GetObject("toolStripButton4.Image")));
    00154             this.toolStripButton4.ImageTransparentColor = System.Drawing.Color.Magenta;
    00155             this.toolStripButton4.Name = "toolStripButton4";
    00156             this.toolStripButton4.Size = new System.Drawing.Size(36, 36);
    00157             this.toolStripButton4.Text = "Stop";
    00158             this.toolStripButton4.Click += new System.EventHandler(this.toolStripButton4_Click);
    00159             //
    00160             // statusStrip1
    00161             //
    00162             this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    00163             this.toolStripStatusLabel1});
    00164             this.statusStrip1.Location = new System.Drawing.Point(0, 542);
    00165             this.statusStrip1.Name = "statusStrip1";
    00166             this.statusStrip1.Size = new System.Drawing.Size(784, 22);
    00167             this.statusStrip1.TabIndex = 2;
    00168             this.statusStrip1.Text = "statusStrip1";
    00169             //
    00170             // toolStripStatusLabel1
    00171             //
    00172             this.toolStripStatusLabel1.Name = "toolStripStatusLabel1";
    00173             this.toolStripStatusLabel1.Size = new System.Drawing.Size(118, 17);
    00174             this.toolStripStatusLabel1.Text = "toolStripStatusLabel1";
    00175             //
    00176             // splitContainer1
    00177             //
    00178             this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
    00179             this.splitContainer1.FixedPanel = System.Windows.Forms.FixedPanel.Panel2;
    00180             this.splitContainer1.Location = new System.Drawing.Point(0, 63);
    00181             this.splitContainer1.Name = "splitContainer1";
    00182             //
    00183             // splitContainer1.Panel1
    00184             //
    00185             this.splitContainer1.Panel1.Controls.Add(this.webBrowser1);
    00186             //
    00187             // splitContainer1.Panel2
    00188             //
    00189             this.splitContainer1.Panel2.Controls.Add(this.treeViewInfoLinks);
    00190             this.splitContainer1.Panel2.Padding = new System.Windows.Forms.Padding(0, 0, 5, 0);
    00191             this.splitContainer1.Size = new System.Drawing.Size(784, 479);
    00192             this.splitContainer1.SplitterDistance = 550;
    00193             this.splitContainer1.TabIndex = 3;
    00194             //
    00195             // webBrowser1
    00196             //
    00197             this.webBrowser1.Dock = System.Windows.Forms.DockStyle.Fill;
    00198             this.webBrowser1.Location = new System.Drawing.Point(0, 0);
    00199             this.webBrowser1.MinimumSize = new System.Drawing.Size(20, 20);
    00200             this.webBrowser1.Name = "webBrowser1";
    00201             this.webBrowser1.Size = new System.Drawing.Size(550, 479);
    00202             this.webBrowser1.TabIndex = 0;
    00203             //
    00204             // treeViewInfoLinks
    00205             //
    00206             this.treeViewInfoLinks.Dock = System.Windows.Forms.DockStyle.Fill;
    00207             this.treeViewInfoLinks.Font = new System.Drawing.Font("Arial Narrow", 8F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
    00208             this.treeViewInfoLinks.Indent = 10;
    00209             this.treeViewInfoLinks.ItemHeight = 16;
    00210             this.treeViewInfoLinks.Location = new System.Drawing.Point(0, 0);
    00211             this.treeViewInfoLinks.Name = "treeViewInfoLinks";
    00212             this.treeViewInfoLinks.ShowNodeToolTips = true;
    00213             this.treeViewInfoLinks.Size = new System.Drawing.Size(225, 479);
    00214             this.treeViewInfoLinks.TabIndex = 0;
    00215             //
    00216             // textBox1
    00217             //
    00218             this.textBox1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    00219                         | System.Windows.Forms.AnchorStyles.Left)
    00220                         | System.Windows.Forms.AnchorStyles.Right)));
    00221             this.textBox1.Location = new System.Drawing.Point(175, 32);
    00222             this.textBox1.Name = "textBox1";
    00223             this.textBox1.Size = new System.Drawing.Size(604, 20);
    00224             this.textBox1.TabIndex = 4;
    00225             this.textBox1.KeyDown += new System.Windows.Forms.KeyEventHandler(this.textBox1_KeyDown);
    00226             //
    00227             // InfoBrowserForm
    00228             //
    00229             this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    00230             this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    00231             this.ClientSize = new System.Drawing.Size(784, 564);
    00232             this.Controls.Add(this.textBox1);
    00233             this.Controls.Add(this.splitContainer1);
    00234             this.Controls.Add(this.statusStrip1);
    00235             this.Controls.Add(this.toolStrip1);
    00236             this.Controls.Add(this.menuStrip1);
    00237             this.MainMenuStrip = this.menuStrip1;
    00238             this.Name = "InfoBrowserForm";
    00239             this.SizeGripStyle = System.Windows.Forms.SizeGripStyle.Show;
    00240             this.Text = "InfoBrowser";
    00241             this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.InfoBrowserForm_FormClosing);
    00242             this.menuStrip1.ResumeLayout(false);
    00243             this.menuStrip1.PerformLayout();
    00244             this.toolStrip1.ResumeLayout(false);
    00245             this.toolStrip1.PerformLayout();
    00246             this.statusStrip1.ResumeLayout(false);
    00247             this.statusStrip1.PerformLayout();
    00248             this.splitContainer1.Panel1.ResumeLayout(false);
    00249             this.splitContainer1.Panel2.ResumeLayout(false);
    00250             this.splitContainer1.ResumeLayout(false);
    00251             this.ResumeLayout(false);
    00252             this.PerformLayout();
    00253
    00254         }
    00255
    00256         #endregion
    00257
    00258         private System.Windows.Forms.MenuStrip menuStrip1;
    00259         private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem;
    00260         private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
    00261         private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
    00262         private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
    00263         private System.Windows.Forms.ToolStrip toolStrip1;
    00264         private System.Windows.Forms.ToolStripButton toolStripButton1;
    00265         private System.Windows.Forms.StatusStrip statusStrip1;
    00266         private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel1;
    00267         private System.Windows.Forms.SplitContainer splitContainer1;
    00268         private System.Windows.Forms.WebBrowser webBrowser1;
    00269         private System.Windows.Forms.TreeView treeViewInfoLinks;
    00270         private System.Windows.Forms.ToolStripButton toolStripButton2;
    00271         private System.Windows.Forms.ToolStripButton toolStripButton3;
    00272         private System.Windows.Forms.ToolStripButton toolStripButton4;
    00273         private System.Windows.Forms.TextBox textBox1;
    00274         private System.Windows.Forms.ToolStripMenuItem saveInfoLinksAsHTMLToolStripMenuItem;
    00275     }
    00276 }
    00277