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();
}
