namespace DataPerformerUI
{
partial class FormDerivationCalculator
{
/// <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.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(FormDerivationCalculator));
this.contentsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.helpMenu = new System.Windows.Forms.ToolStripMenuItem();
this.indexToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.searchToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator8 = new System.Windows.Forms.ToolStripSeparator();
this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.helpToolStripButton = new System.Windows.Forms.ToolStripButton();
this.toolStripSeparator2 = new System.Windows.Forms.ToolStripSeparator();
this.printPreviewToolStripButton = new System.Windows.Forms.ToolStripButton();
this.ToolTip = new System.Windows.Forms.ToolTip(this.components);
this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
this.statusStrip = new System.Windows.Forms.StatusStrip();
this.printToolStripButton = new System.Windows.Forms.ToolStripButton();
this.newToolStripButton = new System.Windows.Forms.ToolStripButton();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.openToolStripButton = new System.Windows.Forms.ToolStripButton();
this.saveToolStripButton = new System.Windows.Forms.ToolStripButton();
this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
this.printPreviewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.printToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator4 = new System.Windows.Forms.ToolStripSeparator();
this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator5 = new System.Windows.Forms.ToolStripSeparator();
this.printSetupToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.fileMenu = new System.Windows.Forms.ToolStripMenuItem();
this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator3 = new System.Windows.Forms.ToolStripSeparator();
this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.menuStrip = new System.Windows.Forms.MenuStrip();
this.editMenu = new System.Windows.Forms.ToolStripMenuItem();
this.undoToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.redoToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator6 = new System.Windows.Forms.ToolStripSeparator();
this.cutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.copyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator7 = new System.Windows.Forms.ToolStripSeparator();
this.selectAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.viewMenu = new System.Windows.Forms.ToolStripMenuItem();
this.toolBarToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.statusBarToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolsMenu = new System.Windows.Forms.ToolStripMenuItem();
this.panelRight = new System.Windows.Forms.Panel();
this.panelTop = new System.Windows.Forms.Panel();
this.panelBottom = new System.Windows.Forms.Panel();
this.panelTreeTop = new System.Windows.Forms.Panel();
this.panelDesktop = new System.Windows.Forms.Panel();
this.panelDesktopCenter = new System.Windows.Forms.Panel();
this.panelDeskR = new System.Windows.Forms.Panel();
this.panelDeskB = new System.Windows.Forms.Panel();
this.panelDeskT = new System.Windows.Forms.Panel();
this.panelDeskL = new System.Windows.Forms.Panel();
this.panelDesktopRight = new System.Windows.Forms.Panel();
this.panelDesktopLeft = new System.Windows.Forms.Panel();
this.panelDesktopBottom = new System.Windows.Forms.Panel();
this.panelDesktopTop = new System.Windows.Forms.Panel();
this.panelLeft = new System.Windows.Forms.Panel();
this.panelTreeBottom = new System.Windows.Forms.Panel();
this.panelTreeCenter = new System.Windows.Forms.Panel();
this.treeViewObjects = new System.Windows.Forms.TreeView();
this.panelTreeRight = new System.Windows.Forms.Panel();
this.panelCenter = new System.Windows.Forms.Panel();
this.splitContainerMain = new System.Windows.Forms.SplitContainer();
this.panelTreeLeft = new System.Windows.Forms.Panel();
this.buttonCalc = new System.Windows.Forms.Button();
this.buttonCancel = new System.Windows.Forms.Button();
this.buttonOK = new System.Windows.Forms.Button();
this.textBoxDerivType = new System.Windows.Forms.TextBox();
this.panelDeriv = new System.Windows.Forms.Panel();
this.openFileDialogEditor = new System.Windows.Forms.OpenFileDialog();
this.saveFileDialogEditor = new System.Windows.Forms.SaveFileDialog();
this.menuItemFile = new System.Windows.Forms.MenuItem();
this.menuItemOpen = new System.Windows.Forms.MenuItem();
this.menuItemSep = new System.Windows.Forms.MenuItem();
this.menuItemSaveAs = new System.Windows.Forms.MenuItem();
this.menuItemDatabase = new System.Windows.Forms.MenuItem();
this.menuItemOpenDatabase = new System.Windows.Forms.MenuItem();
this.menuItemDatabaseLoad = new System.Windows.Forms.MenuItem();
this.menuItemDatabaseSave = new System.Windows.Forms.MenuItem();
this.statusStrip.SuspendLayout();
this.toolStrip.SuspendLayout();
this.menuStrip.SuspendLayout();
this.panelBottom.SuspendLayout();
this.panelDesktop.SuspendLayout();
this.panelDesktopCenter.SuspendLayout();
this.panelTreeCenter.SuspendLayout();
this.panelCenter.SuspendLayout();
this.splitContainerMain.Panel1.SuspendLayout();
this.splitContainerMain.Panel2.SuspendLayout();
this.splitContainerMain.SuspendLayout();
this.panelDeriv.SuspendLayout();
this.SuspendLayout();
//
// contentsToolStripMenuItem
//
this.contentsToolStripMenuItem.Name = "contentsToolStripMenuItem";
this.contentsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.F1)));
this.contentsToolStripMenuItem.Size = new System.Drawing.Size(173, 22);
this.contentsToolStripMenuItem.Text = "&Contents";
//
// helpMenu
//
this.helpMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.contentsToolStripMenuItem,
this.indexToolStripMenuItem,
this.searchToolStripMenuItem,
this.toolStripSeparator8,
this.aboutToolStripMenuItem});
this.helpMenu.Name = "helpMenu";
this.helpMenu.Size = new System.Drawing.Size(40, 20);
this.helpMenu.Text = "&Help";
//
// indexToolStripMenuItem
//
this.indexToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("indexToolStripMenuItem.Image")));
this.indexToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.indexToolStripMenuItem.Name = "indexToolStripMenuItem";
this.indexToolStripMenuItem.Size = new System.Drawing.Size(173, 22);
this.indexToolStripMenuItem.Text = "&Index";
//
// searchToolStripMenuItem
//
this.searchToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("searchToolStripMenuItem.Image")));
this.searchToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.searchToolStripMenuItem.Name = "searchToolStripMenuItem";
this.searchToolStripMenuItem.Size = new System.Drawing.Size(173, 22);
this.searchToolStripMenuItem.Text = "&Search";
//
// toolStripSeparator8
//
this.toolStripSeparator8.Name = "toolStripSeparator8";
this.toolStripSeparator8.Size = new System.Drawing.Size(170, 6);
//
// aboutToolStripMenuItem
//
this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
this.aboutToolStripMenuItem.Size = new System.Drawing.Size(173, 22);
this.aboutToolStripMenuItem.Text = "&About ...";
//
// optionsToolStripMenuItem
//
this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
this.optionsToolStripMenuItem.Size = new System.Drawing.Size(122, 22);
this.optionsToolStripMenuItem.Text = "&Options";
//
// helpToolStripButton
//
this.helpToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.helpToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("helpToolStripButton.Image")));
this.helpToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.helpToolStripButton.Name = "helpToolStripButton";
this.helpToolStripButton.Size = new System.Drawing.Size(23, 22);
this.helpToolStripButton.Text = "Help";
//
// toolStripSeparator2
//
this.toolStripSeparator2.Name = "toolStripSeparator2";
this.toolStripSeparator2.Size = new System.Drawing.Size(6, 25);
//
// printPreviewToolStripButton
//
this.printPreviewToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.printPreviewToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("printPreviewToolStripButton.Image")));
this.printPreviewToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.printPreviewToolStripButton.Name = "printPreviewToolStripButton";
this.printPreviewToolStripButton.Size = new System.Drawing.Size(23, 22);
this.printPreviewToolStripButton.Text = "Print Preview";
//
// toolStripStatusLabel
//
this.toolStripStatusLabel.Name = "toolStripStatusLabel";
this.toolStripStatusLabel.Size = new System.Drawing.Size(38, 17);
this.toolStripStatusLabel.Text = "Status";
//
// statusStrip
//
this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripStatusLabel});
this.statusStrip.Location = new System.Drawing.Point(0, 798);
this.statusStrip.Name = "statusStrip";
this.statusStrip.Size = new System.Drawing.Size(1209, 22);
this.statusStrip.TabIndex = 5;
this.statusStrip.Text = "StatusStrip";
//
// printToolStripButton
//
this.printToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.printToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("printToolStripButton.Image")));
this.printToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.printToolStripButton.Name = "printToolStripButton";
this.printToolStripButton.Size = new System.Drawing.Size(23, 22);
this.printToolStripButton.Text = "Print";
//
// newToolStripButton
//
this.newToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.newToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("newToolStripButton.Image")));
this.newToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.newToolStripButton.Name = "newToolStripButton";
this.newToolStripButton.Size = new System.Drawing.Size(23, 22);
this.newToolStripButton.Text = "New";
//
// toolStrip
//
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.newToolStripButton,
this.openToolStripButton,
this.saveToolStripButton,
this.toolStripSeparator1,
this.printToolStripButton,
this.printPreviewToolStripButton,
this.toolStripSeparator2,
this.helpToolStripButton});
this.toolStrip.Location = new System.Drawing.Point(0, 24);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(1209, 25);
this.toolStrip.TabIndex = 4;
this.toolStrip.Text = "ToolStrip";
//
// openToolStripButton
//
this.openToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.openToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("openToolStripButton.Image")));
this.openToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.openToolStripButton.Name = "openToolStripButton";
this.openToolStripButton.Size = new System.Drawing.Size(23, 22);
this.openToolStripButton.Text = "Open";
//
// saveToolStripButton
//
this.saveToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.saveToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("saveToolStripButton.Image")));
this.saveToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.saveToolStripButton.Name = "saveToolStripButton";
this.saveToolStripButton.Size = new System.Drawing.Size(23, 22);
this.saveToolStripButton.Text = "Save";
//
// toolStripSeparator1
//
this.toolStripSeparator1.Name = "toolStripSeparator1";
this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
//
// printPreviewToolStripMenuItem
//
this.printPreviewToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("printPreviewToolStripMenuItem.Image")));
this.printPreviewToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.printPreviewToolStripMenuItem.Name = "printPreviewToolStripMenuItem";
this.printPreviewToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.printPreviewToolStripMenuItem.Text = "Print Pre&view";
//
// printToolStripMenuItem
//
this.printToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("printToolStripMenuItem.Image")));
this.printToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.printToolStripMenuItem.Name = "printToolStripMenuItem";
this.printToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.P)));
this.printToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.printToolStripMenuItem.Text = "&Print";
//
// toolStripSeparator4
//
this.toolStripSeparator4.Name = "toolStripSeparator4";
this.toolStripSeparator4.Size = new System.Drawing.Size(148, 6);
//
// exitToolStripMenuItem
//
this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
this.exitToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.exitToolStripMenuItem.Text = "E&xit";
//
// toolStripSeparator5
//
this.toolStripSeparator5.Name = "toolStripSeparator5";
this.toolStripSeparator5.Size = new System.Drawing.Size(148, 6);
//
// printSetupToolStripMenuItem
//
this.printSetupToolStripMenuItem.Name = "printSetupToolStripMenuItem";
this.printSetupToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.printSetupToolStripMenuItem.Text = "Print Setup";
//
// saveAsToolStripMenuItem
//
this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.saveAsToolStripMenuItem.Text = "Save &As";
//
// newToolStripMenuItem
//
this.newToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("newToolStripMenuItem.Image")));
this.newToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.newToolStripMenuItem.Name = "newToolStripMenuItem";
this.newToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.N)));
this.newToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.newToolStripMenuItem.Text = "&New";
//
// fileMenu
//
this.fileMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.newToolStripMenuItem,
this.openToolStripMenuItem,
this.toolStripSeparator3,
this.saveToolStripMenuItem,
this.saveAsToolStripMenuItem,
this.toolStripSeparator4,
this.printToolStripMenuItem,
this.printPreviewToolStripMenuItem,
this.printSetupToolStripMenuItem,
this.toolStripSeparator5,
this.exitToolStripMenuItem});
this.fileMenu.ImageTransparentColor = System.Drawing.SystemColors.ActiveBorder;
this.fileMenu.Name = "fileMenu";
this.fileMenu.Size = new System.Drawing.Size(35, 20);
this.fileMenu.Text = "&File";
//
// openToolStripMenuItem
//
this.openToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("openToolStripMenuItem.Image")));
this.openToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.openToolStripMenuItem.Name = "openToolStripMenuItem";
this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
this.openToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.openToolStripMenuItem.Text = "&Open";
//
// toolStripSeparator3
//
this.toolStripSeparator3.Name = "toolStripSeparator3";
this.toolStripSeparator3.Size = new System.Drawing.Size(148, 6);
//
// saveToolStripMenuItem
//
this.saveToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("saveToolStripMenuItem.Image")));
this.saveToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
this.saveToolStripMenuItem.Size = new System.Drawing.Size(151, 22);
this.saveToolStripMenuItem.Text = "&Save";
//
// menuStrip
//
this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.fileMenu,
this.editMenu,
this.viewMenu,
this.toolsMenu,
this.helpMenu});
this.menuStrip.Location = new System.Drawing.Point(0, 0);
this.menuStrip.Name = "menuStrip";
this.menuStrip.Size = new System.Drawing.Size(1209, 24);
this.menuStrip.TabIndex = 3;
this.menuStrip.Text = "MenuStrip";
//
// editMenu
//
this.editMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.undoToolStripMenuItem,
this.redoToolStripMenuItem,
this.toolStripSeparator6,
this.cutToolStripMenuItem,
this.copyToolStripMenuItem,
this.pasteToolStripMenuItem,
this.toolStripSeparator7,
this.selectAllToolStripMenuItem});
this.editMenu.Name = "editMenu";
this.editMenu.Size = new System.Drawing.Size(37, 20);
this.editMenu.Text = "&Edit";
//
// undoToolStripMenuItem
//
this.undoToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("undoToolStripMenuItem.Image")));
this.undoToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.undoToolStripMenuItem.Name = "undoToolStripMenuItem";
this.undoToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Z)));
this.undoToolStripMenuItem.Size = new System.Drawing.Size(167, 22);
this.undoToolStripMenuItem.Text = "&Undo";
//
// redoToolStripMenuItem
//
this.redoToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("redoToolStripMenuItem.Image")));
this.redoToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.redoToolStripMenuItem.Name = "redoToolStripMenuItem";
this.redoToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Y)));
this.redoToolStripMenuItem.Size = new System.Drawing.Size(167, 22);
this.redoToolStripMenuItem.Text = "&Redo";
//
// toolStripSeparator6
//
this.toolStripSeparator6.Name = "toolStripSeparator6";
this.toolStripSeparator6.Size = new System.Drawing.Size(164, 6);
//
// cutToolStripMenuItem
//
this.cutToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("cutToolStripMenuItem.Image")));
this.cutToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.cutToolStripMenuItem.Name = "cutToolStripMenuItem";
this.cutToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.X)));
this.cutToolStripMenuItem.Size = new System.Drawing.Size(167, 22);
this.cutToolStripMenuItem.Text = "Cu&t";
//
// copyToolStripMenuItem
//
this.copyToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("copyToolStripMenuItem.Image")));
this.copyToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
this.copyToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.C)));
this.copyToolStripMenuItem.Size = new System.Drawing.Size(167, 22);
this.copyToolStripMenuItem.Text = "&Copy";
//
// pasteToolStripMenuItem
//
this.pasteToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("pasteToolStripMenuItem.Image")));
this.pasteToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.pasteToolStripMenuItem.Name = "pasteToolStripMenuItem";
this.pasteToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.V)));
this.pasteToolStripMenuItem.Size = new System.Drawing.Size(167, 22);
this.pasteToolStripMenuItem.Text = "&Paste";
//
// toolStripSeparator7
//
this.toolStripSeparator7.Name = "toolStripSeparator7";
this.toolStripSeparator7.Size = new System.Drawing.Size(164, 6);
//
// selectAllToolStripMenuItem
//
this.selectAllToolStripMenuItem.Name = "selectAllToolStripMenuItem";
this.selectAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.A)));
this.selectAllToolStripMenuItem.Size = new System.Drawing.Size(167, 22);
this.selectAllToolStripMenuItem.Text = "Select &All";
//
// viewMenu
//
this.viewMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolBarToolStripMenuItem,
this.statusBarToolStripMenuItem});
this.viewMenu.Name = "viewMenu";
this.viewMenu.Size = new System.Drawing.Size(41, 20);
this.viewMenu.Text = "&View";
//
// toolBarToolStripMenuItem
//
this.toolBarToolStripMenuItem.Checked = true;
this.toolBarToolStripMenuItem.CheckOnClick = true;
this.toolBarToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
this.toolBarToolStripMenuItem.Name = "toolBarToolStripMenuItem";
this.toolBarToolStripMenuItem.Size = new System.Drawing.Size(135, 22);
this.toolBarToolStripMenuItem.Text = "&Toolbar";
//
// statusBarToolStripMenuItem
//
this.statusBarToolStripMenuItem.Checked = true;
this.statusBarToolStripMenuItem.CheckOnClick = true;
this.statusBarToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
this.statusBarToolStripMenuItem.Name = "statusBarToolStripMenuItem";
this.statusBarToolStripMenuItem.Size = new System.Drawing.Size(135, 22);
this.statusBarToolStripMenuItem.Text = "&Status Bar";
//
// toolsMenu
//
this.toolsMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.optionsToolStripMenuItem});
this.toolsMenu.Name = "toolsMenu";
this.toolsMenu.Size = new System.Drawing.Size(44, 20);
this.toolsMenu.Text = "&Tools";
//
// panelRight
//
this.panelRight.Dock = System.Windows.Forms.DockStyle.Right;
this.panelRight.Location = new System.Drawing.Point(1208, 59);
this.panelRight.Name = "panelRight";
this.panelRight.Size = new System.Drawing.Size(1, 694);
this.panelRight.TabIndex = 13;
//
// panelTop
//
this.panelTop.Dock = System.Windows.Forms.DockStyle.Top;
this.panelTop.Location = new System.Drawing.Point(1, 49);
this.panelTop.Name = "panelTop";
this.panelTop.Size = new System.Drawing.Size(1208, 10);
this.panelTop.TabIndex = 14;
//
// panelBottom
//
this.panelBottom.Controls.Add(this.buttonCalc);
this.panelBottom.Controls.Add(this.buttonCancel);
this.panelBottom.Controls.Add(this.buttonOK);
this.panelBottom.Dock = System.Windows.Forms.DockStyle.Bottom;
this.panelBottom.Location = new System.Drawing.Point(1, 753);
this.panelBottom.Name = "panelBottom";
this.panelBottom.Size = new System.Drawing.Size(1208, 45);
this.panelBottom.TabIndex = 15;
//
// panelTreeTop
//
this.panelTreeTop.Dock = System.Windows.Forms.DockStyle.Top;
this.panelTreeTop.Location = new System.Drawing.Point(0, 0);
this.panelTreeTop.Name = "panelTreeTop";
this.panelTreeTop.Size = new System.Drawing.Size(83, 10);
this.panelTreeTop.TabIndex = 0;
//
// panelDesktop
//
this.panelDesktop.Controls.Add(this.panelDesktopCenter);
this.panelDesktop.Controls.Add(this.panelDesktopRight);
this.panelDesktop.Controls.Add(this.panelDesktopLeft);
this.panelDesktop.Controls.Add(this.panelDesktopBottom);
this.panelDesktop.Controls.Add(this.panelDesktopTop);
this.panelDesktop.Dock = System.Windows.Forms.DockStyle.Fill;
this.panelDesktop.Location = new System.Drawing.Point(0, 0);
this.panelDesktop.Name = "panelDesktop";
this.panelDesktop.Size = new System.Drawing.Size(1209, 749);
this.panelDesktop.TabIndex = 0;
//
// panelDesktopCenter
//
this.panelDesktopCenter.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.panelDesktopCenter.Controls.Add(this.panelDeriv);
this.panelDesktopCenter.Controls.Add(this.panelDeskR);
this.panelDesktopCenter.Controls.Add(this.panelDeskB);
this.panelDesktopCenter.Controls.Add(this.panelDeskT);
this.panelDesktopCenter.Controls.Add(this.panelDeskL);
this.panelDesktopCenter.Dock = System.Windows.Forms.DockStyle.Fill;
this.panelDesktopCenter.Location = new System.Drawing.Point(1, 10);
this.panelDesktopCenter.Name = "panelDesktopCenter";
this.panelDesktopCenter.Size = new System.Drawing.Size(1207, 738);
this.panelDesktopCenter.TabIndex = 4;
//
// panelDeskR
//
this.panelDeskR.Dock = System.Windows.Forms.DockStyle.Right;
this.panelDeskR.Location = new System.Drawing.Point(1204, 1);
this.panelDeskR.Name = "panelDeskR";
this.panelDeskR.Size = new System.Drawing.Size(1, 734);
this.panelDeskR.TabIndex = 3;
//
// panelDeskB
//
this.panelDeskB.Dock = System.Windows.Forms.DockStyle.Bottom;
this.panelDeskB.Location = new System.Drawing.Point(1, 735);
this.panelDeskB.Name = "panelDeskB";
this.panelDeskB.Size = new System.Drawing.Size(1204, 1);
this.panelDeskB.TabIndex = 2;
//
// panelDeskT
//
this.panelDeskT.Dock = System.Windows.Forms.DockStyle.Top;
this.panelDeskT.Location = new System.Drawing.Point(1, 0);
this.panelDeskT.Name = "panelDeskT";
this.panelDeskT.Size = new System.Drawing.Size(1204, 1);
this.panelDeskT.TabIndex = 1;
//
// panelDeskL
//
this.panelDeskL.Dock = System.Windows.Forms.DockStyle.Left;
this.panelDeskL.Location = new System.Drawing.Point(0, 0);
this.panelDeskL.Name = "panelDeskL";
this.panelDeskL.Size = new System.Drawing.Size(1, 736);
this.panelDeskL.TabIndex = 0;
//
// panelDesktopRight
//
this.panelDesktopRight.Dock = System.Windows.Forms.DockStyle.Right;
this.panelDesktopRight.Location = new System.Drawing.Point(1208, 10);
this.panelDesktopRight.Name = "panelDesktopRight";
this.panelDesktopRight.Size = new System.Drawing.Size(1, 738);
this.panelDesktopRight.TabIndex = 3;
//
// panelDesktopLeft
//
this.panelDesktopLeft.Dock = System.Windows.Forms.DockStyle.Left;
this.panelDesktopLeft.Location = new System.Drawing.Point(0, 10);
this.panelDesktopLeft.Name = "panelDesktopLeft";
this.panelDesktopLeft.Size = new System.Drawing.Size(1, 738);
this.panelDesktopLeft.TabIndex = 2;
//
// panelDesktopBottom
//
this.panelDesktopBottom.Dock = System.Windows.Forms.DockStyle.Bottom;
this.panelDesktopBottom.Location = new System.Drawing.Point(0, 748);
this.panelDesktopBottom.Name = "panelDesktopBottom";
this.panelDesktopBottom.Size = new System.Drawing.Size(1209, 1);
this.panelDesktopBottom.TabIndex = 1;
//
// panelDesktopTop
//
this.panelDesktopTop.Dock = System.Windows.Forms.DockStyle.Top;
this.panelDesktopTop.Location = new System.Drawing.Point(0, 0);
this.panelDesktopTop.Name = "panelDesktopTop";
this.panelDesktopTop.Size = new System.Drawing.Size(1209, 10);
this.panelDesktopTop.TabIndex = 0;
//
// panelLeft
//
this.panelLeft.Dock = System.Windows.Forms.DockStyle.Left;
this.panelLeft.Location = new System.Drawing.Point(0, 49);
this.panelLeft.Name = "panelLeft";
this.panelLeft.Size = new System.Drawing.Size(1, 749);
this.panelLeft.TabIndex = 12;
//
// panelTreeBottom
//
this.panelTreeBottom.Dock = System.Windows.Forms.DockStyle.Bottom;
this.panelTreeBottom.Location = new System.Drawing.Point(0, 345);
this.panelTreeBottom.Name = "panelTreeBottom";
this.panelTreeBottom.Size = new System.Drawing.Size(83, 10);
this.panelTreeBottom.TabIndex = 1;
//
// panelTreeCenter
//
this.panelTreeCenter.Controls.Add(this.treeViewObjects);
this.panelTreeCenter.Dock = System.Windows.Forms.DockStyle.Fill;
this.panelTreeCenter.Location = new System.Drawing.Point(10, 10);
this.panelTreeCenter.Name = "panelTreeCenter";
this.panelTreeCenter.Size = new System.Drawing.Size(72, 335);
this.panelTreeCenter.TabIndex = 4;
//
// treeViewObjects
//
this.treeViewObjects.Dock = System.Windows.Forms.DockStyle.Fill;
this.treeViewObjects.Location = new System.Drawing.Point(0, 0);
this.treeViewObjects.Name = "treeViewObjects";
this.treeViewObjects.Size = new System.Drawing.Size(72, 335);
this.treeViewObjects.TabIndex = 0;
//
// panelTreeRight
//
this.panelTreeRight.Dock = System.Windows.Forms.DockStyle.Right;
this.panelTreeRight.Location = new System.Drawing.Point(82, 10);
this.panelTreeRight.Name = "panelTreeRight";
this.panelTreeRight.Size = new System.Drawing.Size(1, 335);
this.panelTreeRight.TabIndex = 3;
//
// panelCenter
//
this.panelCenter.Controls.Add(this.splitContainerMain);
this.panelCenter.Dock = System.Windows.Forms.DockStyle.Fill;
this.panelCenter.Location = new System.Drawing.Point(0, 49);
this.panelCenter.Name = "panelCenter";
this.panelCenter.Size = new System.Drawing.Size(1209, 749);
this.panelCenter.TabIndex = 16;
//
// splitContainerMain
//
this.splitContainerMain.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainerMain.Location = new System.Drawing.Point(0, 0);
this.splitContainerMain.Name = "splitContainerMain";
//
// splitContainerMain.Panel1
//
this.splitContainerMain.Panel1.Controls.Add(this.panelTreeCenter);
this.splitContainerMain.Panel1.Controls.Add(this.panelTreeRight);
this.splitContainerMain.Panel1.Controls.Add(this.panelTreeLeft);
this.splitContainerMain.Panel1.Controls.Add(this.panelTreeBottom);
this.splitContainerMain.Panel1.Controls.Add(this.panelTreeTop);
this.splitContainerMain.Panel1Collapsed = true;
//
// splitContainerMain.Panel2
//
this.splitContainerMain.Panel2.Controls.Add(this.panelDesktop);
this.splitContainerMain.Size = new System.Drawing.Size(1209, 749);
this.splitContainerMain.SplitterDistance = 83;
this.splitContainerMain.TabIndex = 0;
this.splitContainerMain.Text = "splitContainer1";
//
// panelTreeLeft
//
this.panelTreeLeft.Dock = System.Windows.Forms.DockStyle.Left;
this.panelTreeLeft.Location = new System.Drawing.Point(0, 10);
this.panelTreeLeft.Name = "panelTreeLeft";
this.panelTreeLeft.Size = new System.Drawing.Size(10, 335);
this.panelTreeLeft.TabIndex = 2;
//
// buttonCalc
//
this.buttonCalc.Location = new System.Drawing.Point(658, 12);
this.buttonCalc.Name = "buttonCalc";
this.buttonCalc.Size = new System.Drawing.Size(75, 23);
this.buttonCalc.TabIndex = 6;
this.buttonCalc.Text = "Calculate";
this.buttonCalc.Click += new System.EventHandler(this.buttonCalc_Click);
//
// buttonCancel
//
this.buttonCancel.Location = new System.Drawing.Point(548, 12);
this.buttonCancel.Name = "buttonCancel";
this.buttonCancel.Size = new System.Drawing.Size(75, 23);
this.buttonCancel.TabIndex = 5;
this.buttonCancel.Text = "Cancel";
this.buttonCancel.Visible = false;
this.buttonCancel.Click += new System.EventHandler(this.buttonCancel_Click);
//
// buttonOK
//
this.buttonOK.Location = new System.Drawing.Point(424, 12);
this.buttonOK.Name = "buttonOK";
this.buttonOK.Size = new System.Drawing.Size(75, 23);
this.buttonOK.TabIndex = 4;
this.buttonOK.Text = "Accept";
this.buttonOK.Visible = false;
this.buttonOK.Click += new System.EventHandler(this.buttonOK_Click);
//
// textBoxDerivType
//
this.textBoxDerivType.Location = new System.Drawing.Point(96, 88);
this.textBoxDerivType.Name = "textBoxDerivType";
this.textBoxDerivType.Size = new System.Drawing.Size(16, 20);
this.textBoxDerivType.TabIndex = 0;
this.textBoxDerivType.Text = "x";
//
// panelDeriv
//
this.panelDeriv.Controls.Add(this.textBoxDerivType);
this.panelDeriv.Location = new System.Drawing.Point(310, 526);
this.panelDeriv.Name = "panelDeriv";
this.panelDeriv.Size = new System.Drawing.Size(640, 136);
this.panelDeriv.TabIndex = 4;
this.panelDeriv.Paint += new System.Windows.Forms.PaintEventHandler(this.panelDeriv_Paint);
//
// openFileDialogEditor
//
this.openFileDialogEditor.Filter = "Function files |*.xml";
//
// saveFileDialogEditor
//
this.saveFileDialogEditor.Filter = "Function files |*.xml";
//
// menuItemFile
//
this.menuItemFile.Index = -1;
this.menuItemFile.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
this.menuItemOpen,
this.menuItemSep,
this.menuItemSaveAs});
this.menuItemFile.Text = "File";
//
// menuItemOpen
//
this.menuItemOpen.Index = 0;
this.menuItemOpen.Text = "Open";
//
// menuItemSep
//
this.menuItemSep.Index = 1;
this.menuItemSep.Text = "-";
//
// menuItemSaveAs
//
this.menuItemSaveAs.Index = 2;
this.menuItemSaveAs.Text = "Save as";
//
// menuItemDatabase
//
this.menuItemDatabase.Index = -1;
this.menuItemDatabase.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
this.menuItemOpenDatabase,
this.menuItemDatabaseLoad,
this.menuItemDatabaseSave});
this.menuItemDatabase.Text = "Database";
//
// menuItemOpenDatabase
//
this.menuItemOpenDatabase.Index = 0;
this.menuItemOpenDatabase.Text = "View Database";
//
// menuItemDatabaseLoad
//
this.menuItemDatabaseLoad.Index = 1;
this.menuItemDatabaseLoad.Text = "Load";
//
// menuItemDatabaseSave
//
this.menuItemDatabaseSave.Index = 2;
this.menuItemDatabaseSave.Text = "Save";
//
// FormDerivationCalculator
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(1209, 820);
this.Controls.Add(this.panelRight);
this.Controls.Add(this.panelTop);
this.Controls.Add(this.panelBottom);
this.Controls.Add(this.panelLeft);
this.Controls.Add(this.panelCenter);
this.Controls.Add(this.statusStrip);
this.Controls.Add(this.toolStrip);
this.Controls.Add(this.menuStrip);
this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
this.Name = "FormDerivationCalculator";
this.Text = "Form1";
this.statusStrip.ResumeLayout(false);
this.statusStrip.PerformLayout();
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.menuStrip.ResumeLayout(false);
this.menuStrip.PerformLayout();
this.panelBottom.ResumeLayout(false);
this.panelDesktop.ResumeLayout(false);
this.panelDesktopCenter.ResumeLayout(false);
this.panelTreeCenter.ResumeLayout(false);
this.panelCenter.ResumeLayout(false);
this.splitContainerMain.Panel1.ResumeLayout(false);
this.splitContainerMain.Panel2.ResumeLayout(false);
this.splitContainerMain.ResumeLayout(false);
this.panelDeriv.ResumeLayout(false);
this.panelDeriv.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
#endregion
private System.Windows.Forms.ToolStripMenuItem contentsToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem helpMenu;
private System.Windows.Forms.ToolStripMenuItem indexToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem searchToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator8;
private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
private System.Windows.Forms.ToolStripButton helpToolStripButton;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator2;
private System.Windows.Forms.ToolStripButton printPreviewToolStripButton;
private System.Windows.Forms.ToolTip ToolTip;
private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
private System.Windows.Forms.StatusStrip statusStrip;
private System.Windows.Forms.ToolStripButton printToolStripButton;
private System.Windows.Forms.ToolStripButton newToolStripButton;
private System.Windows.Forms.ToolStrip toolStrip;
private System.Windows.Forms.ToolStripButton openToolStripButton;
private System.Windows.Forms.ToolStripButton saveToolStripButton;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
private System.Windows.Forms.ToolStripMenuItem printPreviewToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem printToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator4;
private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator5;
private System.Windows.Forms.ToolStripMenuItem printSetupToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem saveAsToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem newToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem fileMenu;
private System.Windows.Forms.ToolStripMenuItem openToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator3;
private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem;
private System.Windows.Forms.MenuStrip menuStrip;
private System.Windows.Forms.ToolStripMenuItem editMenu;
private System.Windows.Forms.ToolStripMenuItem undoToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem redoToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator6;
private System.Windows.Forms.ToolStripMenuItem cutToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem copyToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem pasteToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator7;
private System.Windows.Forms.ToolStripMenuItem selectAllToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem viewMenu;
private System.Windows.Forms.ToolStripMenuItem toolBarToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem statusBarToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem toolsMenu;
private System.Windows.Forms.Panel panelRight;
private System.Windows.Forms.Panel panelTop;
private System.Windows.Forms.Panel panelBottom;
private System.Windows.Forms.Panel panelTreeTop;
private System.Windows.Forms.Panel panelDesktop;
private System.Windows.Forms.Panel panelDesktopCenter;
private System.Windows.Forms.Panel panelDesktopRight;
private System.Windows.Forms.Panel panelDesktopLeft;
private System.Windows.Forms.Panel panelDesktopBottom;
private System.Windows.Forms.Panel panelDesktopTop;
private System.Windows.Forms.Panel panelLeft;
private System.Windows.Forms.Panel panelTreeBottom;
private System.Windows.Forms.Panel panelTreeCenter;
private System.Windows.Forms.Panel panelTreeRight;
private System.Windows.Forms.Panel panelCenter;
private System.Windows.Forms.SplitContainer splitContainerMain;
private System.Windows.Forms.Panel panelTreeLeft;
private System.Windows.Forms.TreeView treeViewObjects;
private System.Windows.Forms.Panel panelDeskB;
private System.Windows.Forms.Panel panelDeskT;
private System.Windows.Forms.Panel panelDeskL;
private System.Windows.Forms.Panel panelDeskR;
private System.Windows.Forms.Button buttonCalc;
private System.Windows.Forms.Button buttonCancel;
private System.Windows.Forms.Button buttonOK;
private System.Windows.Forms.Panel panelDeriv;
private System.Windows.Forms.TextBox textBoxDerivType;
private System.Windows.Forms.OpenFileDialog openFileDialogEditor;
private System.Windows.Forms.SaveFileDialog saveFileDialogEditor;
private System.Windows.Forms.MenuItem menuItemFile;
private System.Windows.Forms.MenuItem menuItemOpen;
private System.Windows.Forms.MenuItem menuItemSep;
private System.Windows.Forms.MenuItem menuItemSaveAs;
private System.Windows.Forms.MenuItem menuItemDatabase;
private System.Windows.Forms.MenuItem menuItemOpenDatabase;
private System.Windows.Forms.MenuItem menuItemDatabaseLoad;
private System.Windows.Forms.MenuItem menuItemDatabaseSave;
}
}