public static void MarkErrors(ICompilable item, CompilerError err) { ShowForm(); if (Form != null && !Form.IsDisposed) { Form.sourceHeader.MarkErrors(item, true); int line = err.Line; if (line < 0) { line = CodeControl.ErrorLine(item, true, line); } Form.sourceHeader.SetCaret(line, err.Column); } }
/// <summary> /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// </summary> private void InitializeComponent() { System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(CompilerOptionsForm)); this.imports = new System.Windows.Forms.Button(); this.overflow = new System.Windows.Forms.CheckBox(); this.debug = new System.Windows.Forms.CheckBox(); this.Options = new System.Windows.Forms.CheckBox(); this.allowunsafe = new System.Windows.Forms.CheckBox(); this.warnings = new System.Windows.Forms.ComboBox(); this.label1 = new System.Windows.Forms.Label(); this.ok = new System.Windows.Forms.Button(); this.groupBox1 = new System.Windows.Forms.GroupBox(); this.cancel = new System.Windows.Forms.Button(); this.errorCodes = new System.Windows.Forms.CheckBox(); this.label2 = new System.Windows.Forms.Label(); this.sourceHeader = new JohnsHope.FPlot.CodeControl(); this.autoAddNamespace = new System.Windows.Forms.CheckBox(); this.button1 = new System.Windows.Forms.Button(); this.SuspendLayout(); // // imports // this.imports.Location = new System.Drawing.Point(11, 11); this.imports.Margin = new System.Windows.Forms.Padding(2); this.imports.Name = "imports"; this.imports.Size = new System.Drawing.Size(115, 22); this.imports.TabIndex = 0; this.imports.Text = "Imported libraries..."; this.imports.Click += new System.EventHandler(this.impClick); // // overflow // this.overflow.Location = new System.Drawing.Point(8, 49); this.overflow.Margin = new System.Windows.Forms.Padding(2); this.overflow.Name = "overflow"; this.overflow.Size = new System.Drawing.Size(168, 17); this.overflow.TabIndex = 1; this.overflow.Text = "Check arithmetic overflow"; // // debug // this.debug.Location = new System.Drawing.Point(8, 75); this.debug.Margin = new System.Windows.Forms.Padding(2); this.debug.Name = "debug"; this.debug.Size = new System.Drawing.Size(168, 17); this.debug.TabIndex = 2; this.debug.Text = "Include debug info"; // // Options // this.Options.Location = new System.Drawing.Point(8, 101); this.Options.Margin = new System.Windows.Forms.Padding(2); this.Options.Name = "Options"; this.Options.Size = new System.Drawing.Size(168, 17); this.Options.TabIndex = 3; this.Options.Text = "Optimize code"; // // allowunsafe // this.allowunsafe.Location = new System.Drawing.Point(8, 127); this.allowunsafe.Margin = new System.Windows.Forms.Padding(2); this.allowunsafe.Name = "allowunsafe"; this.allowunsafe.Size = new System.Drawing.Size(168, 17); this.allowunsafe.TabIndex = 4; this.allowunsafe.Text = "Allow unsafe constructs"; // // warnings // this.warnings.Items.AddRange(new object[] { "No warnings", "Level 1", "Level 2", "Level 3", "Level 4" }); this.warnings.Location = new System.Drawing.Point(291, 47); this.warnings.Margin = new System.Windows.Forms.Padding(2); this.warnings.Name = "warnings"; this.warnings.Size = new System.Drawing.Size(107, 21); this.warnings.TabIndex = 5; this.warnings.Text = "No warnings"; // // label1 // this.label1.Location = new System.Drawing.Point(206, 51); this.label1.Margin = new System.Windows.Forms.Padding(2, 0, 2, 0); this.label1.Name = "label1"; this.label1.Size = new System.Drawing.Size(81, 15); this.label1.TabIndex = 6; this.label1.Text = "Warning level:"; // // ok // this.ok.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.ok.Location = new System.Drawing.Point(4, 493); this.ok.Margin = new System.Windows.Forms.Padding(2); this.ok.Name = "ok"; this.ok.Size = new System.Drawing.Size(72, 23); this.ok.TabIndex = 7; this.ok.Text = "Ok"; this.ok.Click += new System.EventHandler(this.okClick); // // groupBox1 // this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.groupBox1.Location = new System.Drawing.Point(5, 480); this.groupBox1.Margin = new System.Windows.Forms.Padding(2); this.groupBox1.Name = "groupBox1"; this.groupBox1.Padding = new System.Windows.Forms.Padding(2); this.groupBox1.Size = new System.Drawing.Size(399, 8); this.groupBox1.TabIndex = 8; this.groupBox1.TabStop = false; // // cancel // this.cancel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.cancel.DialogResult = System.Windows.Forms.DialogResult.Cancel; this.cancel.Location = new System.Drawing.Point(156, 493); this.cancel.Margin = new System.Windows.Forms.Padding(2); this.cancel.Name = "cancel"; this.cancel.Size = new System.Drawing.Size(72, 23); this.cancel.TabIndex = 9; this.cancel.Text = "Cancel"; this.cancel.Click += new System.EventHandler(this.cancelClick); // // errorCodes // this.errorCodes.Location = new System.Drawing.Point(209, 75); this.errorCodes.Margin = new System.Windows.Forms.Padding(2); this.errorCodes.Name = "errorCodes"; this.errorCodes.Size = new System.Drawing.Size(168, 17); this.errorCodes.TabIndex = 10; this.errorCodes.Text = "Show error codes"; this.errorCodes.UseVisualStyleBackColor = true; // // label2 // this.label2.AutoSize = true; this.label2.Location = new System.Drawing.Point(8, 160); this.label2.Name = "label2"; this.label2.Size = new System.Drawing.Size(245, 13); this.label2.TabIndex = 12; this.label2.Text = "Global source header (containing using directives):"; // // sourceHeader // this.sourceHeader.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.sourceHeader.BackColor = System.Drawing.SystemColors.Control; this.sourceHeader.Location = new System.Drawing.Point(8, 176); this.sourceHeader.Name = "sourceHeader"; this.sourceHeader.Size = new System.Drawing.Size(396, 296); this.sourceHeader.TabIndex = 13; // // autoAddNamespace // this.autoAddNamespace.Location = new System.Drawing.Point(209, 97); this.autoAddNamespace.Name = "autoAddNamespace"; this.autoAddNamespace.Size = new System.Drawing.Size(168, 45); this.autoAddNamespace.TabIndex = 14; this.autoAddNamespace.Text = "Automatically add namespace to global source header when compiling a library"; this.autoAddNamespace.UseVisualStyleBackColor = true; // // button1 // this.button1.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.button1.DialogResult = System.Windows.Forms.DialogResult.Cancel; this.button1.Location = new System.Drawing.Point(80, 493); this.button1.Margin = new System.Windows.Forms.Padding(2); this.button1.Name = "button1"; this.button1.Size = new System.Drawing.Size(72, 23); this.button1.TabIndex = 15; this.button1.Text = "Apply"; this.button1.Click += new System.EventHandler(this.applyClick); // // CompilerOptionsForm // this.AcceptButton = this.ok; this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.CancelButton = this.cancel; this.ClientSize = new System.Drawing.Size(413, 522); this.Controls.Add(this.button1); this.Controls.Add(this.autoAddNamespace); this.Controls.Add(this.sourceHeader); this.Controls.Add(this.label2); this.Controls.Add(this.errorCodes); this.Controls.Add(this.cancel); this.Controls.Add(this.groupBox1); this.Controls.Add(this.ok); this.Controls.Add(this.label1); this.Controls.Add(this.warnings); this.Controls.Add(this.allowunsafe); this.Controls.Add(this.Options); this.Controls.Add(this.debug); this.Controls.Add(this.overflow); this.Controls.Add(this.imports); this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.SizableToolWindow; this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); this.Margin = new System.Windows.Forms.Padding(2); this.MinimumSize = new System.Drawing.Size(419, 468); this.Name = "CompilerOptionsForm"; this.ShowInTaskbar = false; this.Text = "Compiler options"; 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() { System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(LibraryForm)); this.mainMenu = new System.Windows.Forms.MenuStrip(); this.fileMenu = new System.Windows.Forms.ToolStripMenuItem(); this.openItem = new System.Windows.Forms.ToolStripMenuItem(); this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.saveItem = new System.Windows.Forms.ToolStripMenuItem(); this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator(); this.closeItem = new System.Windows.Forms.ToolStripMenuItem(); this.editMenu = new System.Windows.Forms.ToolStripMenuItem(); this.undoItem = new System.Windows.Forms.ToolStripMenuItem(); this.redoToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.toolStripMenuItem1 = new System.Windows.Forms.ToolStripSeparator(); this.cutItem = new System.Windows.Forms.ToolStripMenuItem(); this.copyItem = new System.Windows.Forms.ToolStripMenuItem(); this.pasteItem = new System.Windows.Forms.ToolStripMenuItem(); this.compileMenu = new System.Windows.Forms.ToolStripMenuItem(); this.compileItem = new System.Windows.Forms.ToolStripMenuItem(); this.optionsItem = new System.Windows.Forms.ToolStripMenuItem(); this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.helpToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem(); this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.openFileDialog = new System.Windows.Forms.OpenFileDialog(); this.saveFileDialog = new System.Windows.Forms.SaveFileDialog(); this.editor = new JohnsHope.FPlot.CodeControl(); this.mainMenu.SuspendLayout(); this.SuspendLayout(); // // mainMenu // this.mainMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { this.fileMenu, this.editMenu, this.compileMenu, this.helpToolStripMenuItem }); this.mainMenu.Location = new System.Drawing.Point(0, 0); this.mainMenu.Name = "mainMenu"; this.mainMenu.Padding = new System.Windows.Forms.Padding(4, 2, 0, 2); this.mainMenu.Size = new System.Drawing.Size(538, 24); this.mainMenu.TabIndex = 0; // // fileMenu // this.fileMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.openItem, this.saveToolStripMenuItem, this.saveItem, this.toolStripSeparator1, this.closeItem }); this.fileMenu.Name = "fileMenu"; this.fileMenu.Size = new System.Drawing.Size(37, 20); this.fileMenu.Text = "&File"; // // openItem // this.openItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuFileOpenIcon; this.openItem.Name = "openItem"; this.openItem.Size = new System.Drawing.Size(121, 22); this.openItem.Text = "&Open..."; this.openItem.Click += new System.EventHandler(this.openClick); // // saveToolStripMenuItem // this.saveToolStripMenuItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuFileSaveIcon; this.saveToolStripMenuItem.Name = "saveToolStripMenuItem"; this.saveToolStripMenuItem.Size = new System.Drawing.Size(121, 22); this.saveToolStripMenuItem.Text = "&Save"; this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveClick); // // saveItem // this.saveItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuFileSaveAsIcon; this.saveItem.Name = "saveItem"; this.saveItem.Size = new System.Drawing.Size(121, 22); this.saveItem.Text = "Save &as..."; this.saveItem.Click += new System.EventHandler(this.saveAsClick); // // toolStripSeparator1 // this.toolStripSeparator1.Name = "toolStripSeparator1"; this.toolStripSeparator1.Size = new System.Drawing.Size(118, 6); // // closeItem // this.closeItem.Name = "closeItem"; this.closeItem.Size = new System.Drawing.Size(121, 22); this.closeItem.Text = "&Close"; this.closeItem.Click += new System.EventHandler(this.closeClick); // // editMenu // this.editMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.undoItem, this.redoToolStripMenuItem, this.toolStripMenuItem1, this.cutItem, this.copyItem, this.pasteItem }); this.editMenu.Name = "editMenu"; this.editMenu.Size = new System.Drawing.Size(39, 20); this.editMenu.Text = "&Edit"; // // undoItem // this.undoItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditUndoIcon; this.undoItem.Name = "undoItem"; this.undoItem.Size = new System.Drawing.Size(103, 22); this.undoItem.Text = "&Undo"; this.undoItem.Click += new System.EventHandler(this.undoClick); // // redoToolStripMenuItem // this.redoToolStripMenuItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditRedoIcon; this.redoToolStripMenuItem.Name = "redoToolStripMenuItem"; this.redoToolStripMenuItem.Size = new System.Drawing.Size(103, 22); this.redoToolStripMenuItem.Text = "&Redo"; // // toolStripMenuItem1 // this.toolStripMenuItem1.Name = "toolStripMenuItem1"; this.toolStripMenuItem1.Size = new System.Drawing.Size(100, 6); // // cutItem // this.cutItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditCutIcon; this.cutItem.Name = "cutItem"; this.cutItem.Size = new System.Drawing.Size(103, 22); this.cutItem.Text = "Cu&t"; this.cutItem.Click += new System.EventHandler(this.cutClick); // // copyItem // this.copyItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditCopyIcon; this.copyItem.Name = "copyItem"; this.copyItem.Size = new System.Drawing.Size(103, 22); this.copyItem.Text = "&Copy"; this.copyItem.Click += new System.EventHandler(this.copyClick); // // pasteItem // this.pasteItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditPasteIcon; this.pasteItem.Name = "pasteItem"; this.pasteItem.Size = new System.Drawing.Size(103, 22); this.pasteItem.Text = "&Paste"; this.pasteItem.Click += new System.EventHandler(this.pasteClick); // // compileMenu // this.compileMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.compileItem, this.optionsItem }); this.compileMenu.Name = "compileMenu"; this.compileMenu.Size = new System.Drawing.Size(64, 20); this.compileMenu.Text = "&Compile"; // // compileItem // this.compileItem.Image = ((System.Drawing.Image)(resources.GetObject("compileItem.Image"))); this.compileItem.Name = "compileItem"; this.compileItem.Size = new System.Drawing.Size(175, 22); this.compileItem.Text = "&Compile..."; this.compileItem.Click += new System.EventHandler(this.compileClick); // // optionsItem // this.optionsItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuLayersLayerPropertiesIcon; this.optionsItem.Name = "optionsItem"; this.optionsItem.Size = new System.Drawing.Size(175, 22); this.optionsItem.Text = "Compiler &options..."; this.optionsItem.Click += new System.EventHandler(this.optionsClick); // // helpToolStripMenuItem // this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.helpToolStripMenuItem1, this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem }); this.helpToolStripMenuItem.Name = "helpToolStripMenuItem"; this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20); this.helpToolStripMenuItem.Text = "&Help"; // // helpToolStripMenuItem1 // this.helpToolStripMenuItem1.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuHelpHelpTopicsIcon; this.helpToolStripMenuItem1.Name = "helpToolStripMenuItem1"; this.helpToolStripMenuItem1.Size = new System.Drawing.Size(256, 22); this.helpToolStripMenuItem1.Text = "Help..."; // // helpOnJohnsHopeFPlotLibraryToolStripMenuItem // this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuHelpTutorialsIcon; this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem.Name = "helpOnJohnsHopeFPlotLibraryToolStripMenuItem"; this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem.Size = new System.Drawing.Size(256, 22); this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem.Text = "Help on JohnsHope.FPlot.Library..."; this.helpOnJohnsHopeFPlotLibraryToolStripMenuItem.Click += new System.EventHandler(this.helpClick); // // openFileDialog // this.openFileDialog.Filter = "Source files (*.cs; *.c; *.cpp; *.txt)|*.cs;*.c;*.cpp;*.txt|All files|*.*"; // // saveFileDialog // this.saveFileDialog.DefaultExt = "cs"; this.saveFileDialog.Filter = "Source files (*.cs; *.c; *.cpp; *.txt)|*.cs;*.c;*.cpp;*.txt|All files|*.*"; // // editor // this.editor.AllowDrop = true; this.editor.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.editor.BackColor = System.Drawing.SystemColors.Control; this.editor.Location = new System.Drawing.Point(0, 25); this.editor.Margin = new System.Windows.Forms.Padding(2); this.editor.Name = "editor"; this.editor.Size = new System.Drawing.Size(538, 517); this.editor.TabIndex = 1; // // LibraryForm // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.ClientSize = new System.Drawing.Size(538, 542); this.Controls.Add(this.editor); this.Controls.Add(this.mainMenu); this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); this.MainMenuStrip = this.mainMenu; this.Margin = new System.Windows.Forms.Padding(2); this.Name = "LibraryForm"; this.mainMenu.ResumeLayout(false); this.mainMenu.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() { System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(FunctionForm)); this.introLabel = new System.Windows.Forms.Label(); this.outroLabel = new System.Windows.Forms.Label(); this.colorDialog = new System.Windows.Forms.ColorDialog(); this.colorButton = new System.Windows.Forms.Button(); this.lineWidth = new System.Windows.Forms.TextBox(); this.label2 = new System.Windows.Forms.Label(); this.label3 = new System.Windows.Forms.Label(); this.fSource = new JohnsHope.FPlot.CodeControl(); this.toolStrip1 = new System.Windows.Forms.ToolStrip(); this.toolStripButton1 = new System.Windows.Forms.ToolStripButton(); this.toolStripButton4 = new System.Windows.Forms.ToolStripButton(); this.toolStripButton2 = new System.Windows.Forms.ToolStripButton(); this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator(); this.toolStripButton3 = new System.Windows.Forms.ToolStripButton(); this.toolStripSeparator2 = new System.Windows.Forms.ToolStripSeparator(); this.toolStripButton5 = new System.Windows.Forms.ToolStripButton(); this.toolStripButton6 = new System.Windows.Forms.ToolStripButton(); this.toolStripSeparator3 = new System.Windows.Forms.ToolStripSeparator(); this.Button1D = new System.Windows.Forms.ToolStripButton(); this.Button2D = new System.Windows.Forms.ToolStripButton(); this.ButtonColor = new System.Windows.Forms.ToolStripButton(); this.toolStripSeparator4 = new System.Windows.Forms.ToolStripSeparator(); this.StyleButton = new System.Windows.Forms.ToolStripButton(); this.ParButton = new System.Windows.Forms.ToolStripButton(); this.toolStripSeparator5 = new System.Windows.Forms.ToolStripSeparator(); this.toolStripLabel1 = new System.Windows.Forms.ToolStripLabel(); this.name = new System.Windows.Forms.ToolStripTextBox(); this.toolStripSeparator6 = new System.Windows.Forms.ToolStripSeparator(); this.toolStripButton7 = new System.Windows.Forms.ToolStripButton(); this.toolStripButton8 = new System.Windows.Forms.ToolStripButton(); this.toolStrip1.SuspendLayout(); this.SuspendLayout(); // // introLabel // this.introLabel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.introLabel.Font = new System.Drawing.Font("Courier New", 8.747663F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.introLabel.ForeColor = System.Drawing.Color.Blue; this.introLabel.Location = new System.Drawing.Point(0, 25); this.introLabel.Margin = new System.Windows.Forms.Padding(2, 0, 2, 0); this.introLabel.Name = "introLabel"; this.introLabel.Size = new System.Drawing.Size(551, 35); this.introLabel.TabIndex = 5; this.introLabel.Text = "double p[]\r\ndouble f(double x) {"; // // outroLabel // this.outroLabel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.outroLabel.Font = new System.Drawing.Font("Courier New", 8.747663F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.outroLabel.ForeColor = System.Drawing.Color.Blue; this.outroLabel.Location = new System.Drawing.Point(0, 521); this.outroLabel.Margin = new System.Windows.Forms.Padding(2, 0, 2, 0); this.outroLabel.Name = "outroLabel"; this.outroLabel.Size = new System.Drawing.Size(551, 15); this.outroLabel.TabIndex = 6; this.outroLabel.Text = "}"; // // colorButton // this.colorButton.Location = new System.Drawing.Point(0, 0); this.colorButton.Name = "colorButton"; this.colorButton.Size = new System.Drawing.Size(75, 23); this.colorButton.TabIndex = 0; // // lineWidth // this.lineWidth.Location = new System.Drawing.Point(0, 0); this.lineWidth.Name = "lineWidth"; this.lineWidth.Size = new System.Drawing.Size(100, 20); this.lineWidth.TabIndex = 0; // // label2 // this.label2.Location = new System.Drawing.Point(0, 0); this.label2.Name = "label2"; this.label2.Size = new System.Drawing.Size(100, 23); this.label2.TabIndex = 0; // // label3 // this.label3.Location = new System.Drawing.Point(0, 0); this.label3.Name = "label3"; this.label3.Size = new System.Drawing.Size(100, 23); this.label3.TabIndex = 0; // // fSource // this.fSource.AllowDrop = true; this.fSource.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.fSource.BackColor = System.Drawing.SystemColors.Control; this.fSource.Location = new System.Drawing.Point(0, 55); this.fSource.Margin = new System.Windows.Forms.Padding(2); this.fSource.Name = "fSource"; this.fSource.Size = new System.Drawing.Size(551, 469); this.fSource.TabIndex = 0; // // toolStrip1 // this.toolStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { this.toolStripButton1, this.toolStripButton4, this.toolStripButton2, this.toolStripSeparator1, this.toolStripButton3, this.toolStripSeparator2, this.toolStripButton5, this.toolStripButton6, this.toolStripSeparator3, this.Button1D, this.Button2D, this.ButtonColor, this.toolStripSeparator4, this.StyleButton, this.ParButton, this.toolStripSeparator5, this.toolStripLabel1, this.name, this.toolStripSeparator6, this.toolStripButton7, this.toolStripButton8 }); this.toolStrip1.Location = new System.Drawing.Point(0, 0); this.toolStrip1.Name = "toolStrip1"; this.toolStrip1.Size = new System.Drawing.Size(551, 25); this.toolStrip1.TabIndex = 44; this.toolStrip1.Text = "toolStrip1"; // // toolStripButton1 // this.toolStripButton1.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton1.Image = global::JohnsHope.FPlot.Properties.Resources.ok; this.toolStripButton1.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton1.Name = "toolStripButton1"; this.toolStripButton1.Size = new System.Drawing.Size(23, 22); this.toolStripButton1.Text = "toolStripButton1"; this.toolStripButton1.ToolTipText = "Apply Changes & Close"; this.toolStripButton1.Click += new System.EventHandler(this.okClick); // // toolStripButton4 // this.toolStripButton4.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton4.Image = global::JohnsHope.FPlot.Properties.Resources.delete; this.toolStripButton4.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton4.Name = "toolStripButton4"; this.toolStripButton4.Size = new System.Drawing.Size(23, 22); this.toolStripButton4.Text = "toolStripButton4"; this.toolStripButton4.ToolTipText = "Discard Changes & Close"; this.toolStripButton4.Click += new System.EventHandler(this.cancelClick); // // toolStripButton2 // this.toolStripButton2.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton2.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuFileSaveIcon; this.toolStripButton2.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton2.Name = "toolStripButton2"; this.toolStripButton2.Size = new System.Drawing.Size(23, 22); this.toolStripButton2.Text = "toolStripButton2"; this.toolStripButton2.ToolTipText = "Apply Changes"; this.toolStripButton2.Click += new System.EventHandler(this.applyClick); // // toolStripSeparator1 // this.toolStripSeparator1.Name = "toolStripSeparator1"; this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25); // // toolStripButton3 // this.toolStripButton3.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton3.Image = ((System.Drawing.Image)(resources.GetObject("toolStripButton3.Image"))); this.toolStripButton3.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton3.Name = "toolStripButton3"; this.toolStripButton3.Size = new System.Drawing.Size(23, 22); this.toolStripButton3.Text = "toolStripButton3"; this.toolStripButton3.ToolTipText = "Compile C# Code"; this.toolStripButton3.Click += new System.EventHandler(this.compileClick); // // toolStripSeparator2 // this.toolStripSeparator2.Name = "toolStripSeparator2"; this.toolStripSeparator2.Size = new System.Drawing.Size(6, 25); // // toolStripButton5 // this.toolStripButton5.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton5.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditUndoIcon; this.toolStripButton5.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton5.Name = "toolStripButton5"; this.toolStripButton5.Size = new System.Drawing.Size(23, 22); this.toolStripButton5.Text = "1D"; this.toolStripButton5.ToolTipText = "Undo"; this.toolStripButton5.Click += new System.EventHandler(this.Undo); // // toolStripButton6 // this.toolStripButton6.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton6.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuEditRedoIcon; this.toolStripButton6.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton6.Name = "toolStripButton6"; this.toolStripButton6.Size = new System.Drawing.Size(23, 22); this.toolStripButton6.Text = "toolStripButton6"; this.toolStripButton6.ToolTipText = "Redo"; this.toolStripButton6.Click += new System.EventHandler(this.Redo); // // toolStripSeparator3 // this.toolStripSeparator3.Name = "toolStripSeparator3"; this.toolStripSeparator3.Size = new System.Drawing.Size(6, 25); // // Button1D // this.Button1D.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.Button1D.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_1D; this.Button1D.ImageTransparentColor = System.Drawing.Color.Magenta; this.Button1D.Name = "Button1D"; this.Button1D.Size = new System.Drawing.Size(23, 22); this.Button1D.Text = "toolStripButton7"; this.Button1D.ToolTipText = "1-Dimensional Function"; this.Button1D.Click += new System.EventHandler(this.Click1D); // // Button2D // this.Button2D.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.Button2D.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_2D; this.Button2D.ImageTransparentColor = System.Drawing.Color.Magenta; this.Button2D.Name = "Button2D"; this.Button2D.Size = new System.Drawing.Size(23, 22); this.Button2D.Text = "toolStripButton8"; this.Button2D.ToolTipText = "2-Dimensional Function"; this.Button2D.Click += new System.EventHandler(this.Click2D); // // ButtonColor // this.ButtonColor.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.ButtonColor.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_Color2D; this.ButtonColor.ImageTransparentColor = System.Drawing.Color.Magenta; this.ButtonColor.Name = "ButtonColor"; this.ButtonColor.Size = new System.Drawing.Size(23, 22); this.ButtonColor.Text = "toolStripButton9"; this.ButtonColor.ToolTipText = "2-Dimensional Function that returns a Color"; this.ButtonColor.Click += new System.EventHandler(this.ClickColor); // // toolStripSeparator4 // this.toolStripSeparator4.Name = "toolStripSeparator4"; this.toolStripSeparator4.Size = new System.Drawing.Size(6, 25); // // StyleButton // this.StyleButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.StyleButton.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_LineStyle; this.StyleButton.ImageTransparentColor = System.Drawing.Color.Magenta; this.StyleButton.Name = "StyleButton"; this.StyleButton.Size = new System.Drawing.Size(23, 22); this.StyleButton.Text = "toolStripButton10"; this.StyleButton.ToolTipText = "Drawing Style"; this.StyleButton.Click += new System.EventHandler(this.StyleClick); // // ParButton // this.ParButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.ParButton.Image = global::JohnsHope.FPlot.Properties.Resources.par; this.ParButton.ImageTransparentColor = System.Drawing.Color.Magenta; this.ParButton.Name = "ParButton"; this.ParButton.Size = new System.Drawing.Size(23, 22); this.ParButton.Text = "toolStripButton11"; this.ParButton.ToolTipText = "Parametervalues of the array p"; this.ParButton.Click += new System.EventHandler(this.parClick); // // toolStripSeparator5 // this.toolStripSeparator5.Name = "toolStripSeparator5"; this.toolStripSeparator5.Size = new System.Drawing.Size(6, 25); // // toolStripLabel1 // this.toolStripLabel1.Name = "toolStripLabel1"; this.toolStripLabel1.Size = new System.Drawing.Size(42, 22); this.toolStripLabel1.Text = "Name:"; // // name // this.name.Name = "name"; this.name.Size = new System.Drawing.Size(155, 25); this.name.ToolTipText = "Name of the function"; // // toolStripSeparator6 // this.toolStripSeparator6.Name = "toolStripSeparator6"; this.toolStripSeparator6.Size = new System.Drawing.Size(6, 25); // // toolStripButton7 // this.toolStripButton7.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton7.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuHelpHelpTopicsIcon; this.toolStripButton7.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton7.Name = "toolStripButton7"; this.toolStripButton7.Size = new System.Drawing.Size(23, 22); this.toolStripButton7.Text = "toolStripButton7"; this.toolStripButton7.ToolTipText = "Help"; this.toolStripButton7.Click += new System.EventHandler(this.helpClick); // // toolStripButton8 // this.toolStripButton8.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.toolStripButton8.Image = global::JohnsHope.FPlot.Properties.Resources.Icons_MenuHelpTutorialsIcon; this.toolStripButton8.ImageTransparentColor = System.Drawing.Color.Magenta; this.toolStripButton8.Name = "toolStripButton8"; this.toolStripButton8.Size = new System.Drawing.Size(23, 22); this.toolStripButton8.Text = "toolStripButton8"; this.toolStripButton8.ToolTipText = "Help on JohnsHope.FPlot.Library..."; this.toolStripButton8.Click += new System.EventHandler(this.helpLibraryClick); // // FunctionForm // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.ClientSize = new System.Drawing.Size(551, 535); this.Controls.Add(this.toolStrip1); this.Controls.Add(this.fSource); this.Controls.Add(this.outroLabel); this.Controls.Add(this.introLabel); this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); this.Margin = new System.Windows.Forms.Padding(2); this.MinimumSize = new System.Drawing.Size(492, 395); this.Name = "FunctionForm"; this.Text = "Edit Function"; this.toolStrip1.ResumeLayout(false); this.toolStrip1.PerformLayout(); this.ResumeLayout(false); this.PerformLayout(); }