namespace TextEditorTest
{
partial class Main
{
/// <summary>
/// Required designer variable.
/// </summary>
private System.ComponentModel.IContainer components = null;
/// <summary>
/// Clean up any resources being used.
/// </summary>
/// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
protected override void Dispose(bool disposing)
{
if (disposing && (components != null))
{
components.Dispose();
}
base.Dispose(disposing);
}
#region Windows Form Designer generated code
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
Storm.TextEditor.Interacting.LineMarginRender lineMarginRender1 = new Storm.TextEditor.Interacting.LineMarginRender();
this.menuStrip = new System.Windows.Forms.MenuStrip();
this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.saveToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.findToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.findNextToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
this.toggleBookmarkToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.nextBookmarkToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.previousBookmarkToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showEOLMarkersToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showLineNumbersToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showScopeIndicatorToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showGutterMarginToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showTabGuidesToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showWhitespaceToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.highlightActiveLineToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.allowBreakpointsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.openFileDialog = new System.Windows.Forms.OpenFileDialog();
this.saveFileDialog = new System.Windows.Forms.SaveFileDialog();
this.textEditor = new Storm.TextEditor.TextEditor();
this.syntaxDocument = new Storm.TextEditor.Document.SyntaxDocument(this.components);
this.menuStrip.SuspendLayout();
this.SuspendLayout();
//
// menuStrip
//
this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.fileToolStripMenuItem,
this.toolsToolStripMenuItem,
this.optionsToolStripMenuItem});
this.menuStrip.Location = new System.Drawing.Point(0, 0);
this.menuStrip.Name = "menuStrip";
this.menuStrip.Size = new System.Drawing.Size(461, 24);
this.menuStrip.TabIndex = 1;
this.menuStrip.Text = "menuStrip";
//
// fileToolStripMenuItem
//
this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.newToolStripMenuItem,
this.openToolStripMenuItem,
this.saveToolStripMenuItem,
this.exitToolStripMenuItem});
this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
this.fileToolStripMenuItem.Text = "File";
//
// newToolStripMenuItem
//
this.newToolStripMenuItem.Name = "newToolStripMenuItem";
this.newToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
this.newToolStripMenuItem.Text = "New";
this.newToolStripMenuItem.Click += new System.EventHandler(this.newToolStripMenuItem_Click);
//
// openToolStripMenuItem
//
this.openToolStripMenuItem.Name = "openToolStripMenuItem";
this.openToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
this.openToolStripMenuItem.Text = "Open";
this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
//
// saveToolStripMenuItem
//
this.saveToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.saveToolStripMenuItem1,
this.saveAsToolStripMenuItem});
this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
this.saveToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
this.saveToolStripMenuItem.Text = "Save";
//
// saveToolStripMenuItem1
//
this.saveToolStripMenuItem1.Name = "saveToolStripMenuItem1";
this.saveToolStripMenuItem1.Size = new System.Drawing.Size(114, 22);
this.saveToolStripMenuItem1.Text = "Save";
this.saveToolStripMenuItem1.Click += new System.EventHandler(this.saveToolStripMenuItem1_Click);
//
// saveAsToolStripMenuItem
//
this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
this.saveAsToolStripMenuItem.Text = "Save As";
this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
//
// exitToolStripMenuItem
//
this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
this.exitToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
this.exitToolStripMenuItem.Text = "Exit";
this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
//
// toolsToolStripMenuItem
//
this.toolsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.findToolStripMenuItem,
this.findNextToolStripMenuItem,
this.toolStripSeparator1,
this.toggleBookmarkToolStripMenuItem,
this.nextBookmarkToolStripMenuItem,
this.previousBookmarkToolStripMenuItem});
this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem";
this.toolsToolStripMenuItem.Size = new System.Drawing.Size(48, 20);
this.toolsToolStripMenuItem.Text = "Tools";
//
// findToolStripMenuItem
//
this.findToolStripMenuItem.Name = "findToolStripMenuItem";
this.findToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.F)));
this.findToolStripMenuItem.Size = new System.Drawing.Size(176, 22);
this.findToolStripMenuItem.Text = "Find";
this.findToolStripMenuItem.Click += new System.EventHandler(this.findToolStripMenuItem_Click);
//
// findNextToolStripMenuItem
//
this.findNextToolStripMenuItem.Name = "findNextToolStripMenuItem";
this.findNextToolStripMenuItem.ShortcutKeys = System.Windows.Forms.Keys.F3;
this.findNextToolStripMenuItem.Size = new System.Drawing.Size(176, 22);
this.findNextToolStripMenuItem.Text = "Find Next";
this.findNextToolStripMenuItem.Click += new System.EventHandler(this.findNextToolStripMenuItem_Click);
//
// toolStripSeparator1
//
this.toolStripSeparator1.Name = "toolStripSeparator1";
this.toolStripSeparator1.Size = new System.Drawing.Size(173, 6);
//
// toggleBookmarkToolStripMenuItem
//
this.toggleBookmarkToolStripMenuItem.Name = "toggleBookmarkToolStripMenuItem";
this.toggleBookmarkToolStripMenuItem.Size = new System.Drawing.Size(176, 22);
this.toggleBookmarkToolStripMenuItem.Text = "Toggle Bookmark";
this.toggleBookmarkToolStripMenuItem.Click += new System.EventHandler(this.toggleBookmarkToolStripMenuItem_Click);
//
// nextBookmarkToolStripMenuItem
//
this.nextBookmarkToolStripMenuItem.Name = "nextBookmarkToolStripMenuItem";
this.nextBookmarkToolStripMenuItem.Size = new System.Drawing.Size(176, 22);
this.nextBookmarkToolStripMenuItem.Text = "Next Bookmark";
this.nextBookmarkToolStripMenuItem.Click += new System.EventHandler(this.nextBookmarkToolStripMenuItem_Click);
//
// previousBookmarkToolStripMenuItem
//
this.previousBookmarkToolStripMenuItem.Name = "previousBookmarkToolStripMenuItem";
this.previousBookmarkToolStripMenuItem.Size = new System.Drawing.Size(176, 22);
this.previousBookmarkToolStripMenuItem.Text = "Previous Bookmark";
this.previousBookmarkToolStripMenuItem.Click += new System.EventHandler(this.previousBookmarkToolStripMenuItem_Click);
//
// optionsToolStripMenuItem
//
this.optionsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.showEOLMarkersToolStripMenuItem,
this.showLineNumbersToolStripMenuItem,
this.showScopeIndicatorToolStripMenuItem,
this.showGutterMarginToolStripMenuItem,
this.showTabGuidesToolStripMenuItem,
this.showWhitespaceToolStripMenuItem,
this.highlightActiveLineToolStripMenuItem,
this.allowBreakpointsToolStripMenuItem});
this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
this.optionsToolStripMenuItem.Size = new System.Drawing.Size(61, 20);
this.optionsToolStripMenuItem.Text = "Options";
//
// showEOLMarkersToolStripMenuItem
//
this.showEOLMarkersToolStripMenuItem.CheckOnClick = true;
this.showEOLMarkersToolStripMenuItem.Name = "showEOLMarkersToolStripMenuItem";
this.showEOLMarkersToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.showEOLMarkersToolStripMenuItem.Text = "Show EOL Markers";
this.showEOLMarkersToolStripMenuItem.Click += new System.EventHandler(this.showEOLMarkersToolStripMenuItem_Click);
//
// showLineNumbersToolStripMenuItem
//
this.showLineNumbersToolStripMenuItem.Checked = true;
this.showLineNumbersToolStripMenuItem.CheckOnClick = true;
this.showLineNumbersToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
this.showLineNumbersToolStripMenuItem.Name = "showLineNumbersToolStripMenuItem";
this.showLineNumbersToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.showLineNumbersToolStripMenuItem.Text = "Show Line Numbers";
this.showLineNumbersToolStripMenuItem.Click += new System.EventHandler(this.showLineNumbersToolStripMenuItem_Click);
//
// showScopeIndicatorToolStripMenuItem
//
this.showScopeIndicatorToolStripMenuItem.CheckOnClick = true;
this.showScopeIndicatorToolStripMenuItem.Name = "showScopeIndicatorToolStripMenuItem";
this.showScopeIndicatorToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.showScopeIndicatorToolStripMenuItem.Text = "Show Scope Indicator";
this.showScopeIndicatorToolStripMenuItem.Click += new System.EventHandler(this.showScopeIndicatorToolStripMenuItem_Click);
//
// showGutterMarginToolStripMenuItem
//
this.showGutterMarginToolStripMenuItem.Checked = true;
this.showGutterMarginToolStripMenuItem.CheckOnClick = true;
this.showGutterMarginToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
this.showGutterMarginToolStripMenuItem.Name = "showGutterMarginToolStripMenuItem";
this.showGutterMarginToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.showGutterMarginToolStripMenuItem.Text = "Show Gutter Margin";
this.showGutterMarginToolStripMenuItem.Click += new System.EventHandler(this.showGutterMarginToolStripMenuItem_Click);
//
// showTabGuidesToolStripMenuItem
//
this.showTabGuidesToolStripMenuItem.CheckOnClick = true;
this.showTabGuidesToolStripMenuItem.Name = "showTabGuidesToolStripMenuItem";
this.showTabGuidesToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.showTabGuidesToolStripMenuItem.Text = "Show Tab Guides";
this.showTabGuidesToolStripMenuItem.Click += new System.EventHandler(this.showTabGuidesToolStripMenuItem_Click);
//
// showWhitespaceToolStripMenuItem
//
this.showWhitespaceToolStripMenuItem.CheckOnClick = true;
this.showWhitespaceToolStripMenuItem.Name = "showWhitespaceToolStripMenuItem";
this.showWhitespaceToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.showWhitespaceToolStripMenuItem.Text = "Show Whitespace";
this.showWhitespaceToolStripMenuItem.Click += new System.EventHandler(this.showWhitespaceToolStripMenuItem_Click);
//
// highlightActiveLineToolStripMenuItem
//
this.highlightActiveLineToolStripMenuItem.CheckOnClick = true;
this.highlightActiveLineToolStripMenuItem.Name = "highlightActiveLineToolStripMenuItem";
this.highlightActiveLineToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.highlightActiveLineToolStripMenuItem.Text = "Highlight Active Line";
this.highlightActiveLineToolStripMenuItem.Click += new System.EventHandler(this.highlightActiveLineToolStripMenuItem_Click);
//
// allowBreakpointsToolStripMenuItem
//
this.allowBreakpointsToolStripMenuItem.CheckOnClick = true;
this.allowBreakpointsToolStripMenuItem.Name = "allowBreakpointsToolStripMenuItem";
this.allowBreakpointsToolStripMenuItem.Size = new System.Drawing.Size(188, 22);
this.allowBreakpointsToolStripMenuItem.Text = "Allow Breakpoints";
this.allowBreakpointsToolStripMenuItem.Click += new System.EventHandler(this.allowBreakpointsToolStripMenuItem_Click);
//
// openFileDialog
//
this.openFileDialog.Filter = "C# files (*.cs)|*.cs|VB files (*.vb)|*.vb|C++ files (*.cpp)|*.cpp|C++ files (*.cx" +
"x)|*.cxx|C++ files (*.h)|*.h|C++ files (*.hxx)|*.hxx|C files (*.c)|*.c|All files" +
" (*.*)|*.*";
this.openFileDialog.Multiselect = true;
this.openFileDialog.SupportMultiDottedExtensions = true;
//
// saveFileDialog
//
this.saveFileDialog.Filter = "C# files (*.cs)|*.cs|VB files (*.vb)|*.vb|C++ files (*.cpp)|*.cpp|C++ files (*.cx" +
"x)|*.cxx|C++ files (*.h)|*.h|C++ files (*.hxx)|*.hxx|C files (*.c)|*.c|All files" +
" (*.*)|*.*";
this.saveFileDialog.SupportMultiDottedExtensions = true;
//
// textEditor
//
this.textEditor.ActiveView = Storm.TextEditor.Preset.ActiveView.BottomRight;
this.textEditor.AllowBreakPoints = false;
this.textEditor.BracketBackColor = System.Drawing.Color.Transparent;
this.textEditor.BracketBold = true;
this.textEditor.BracketBorderColor = System.Drawing.Color.Transparent;
this.textEditor.BracketItalic = false;
this.textEditor.BracketStrikethrough = false;
this.textEditor.BracketUnderline = false;
this.textEditor.BreakPointBackColor = System.Drawing.Color.DarkRed;
this.textEditor.BreakPointForeColor = System.Drawing.Color.White;
this.textEditor.CopyAsRTF = false;
this.textEditor.Dock = System.Windows.Forms.DockStyle.Fill;
this.textEditor.Document = this.syntaxDocument;
this.textEditor.EOLMarkerColor = System.Drawing.Color.ForestGreen;
this.textEditor.FileName = "";
this.textEditor.FontName = "Consolas";
this.textEditor.GutterMarginBorderColor = System.Drawing.SystemColors.ControlDark;
this.textEditor.HighLightedLineColor = System.Drawing.Color.FromArgb(((int)(((byte)(215)))), ((int)(((byte)(236)))), ((int)(((byte)(242)))));
this.textEditor.Indent = Storm.TextEditor.Preset.IndentStyle.Scope;
this.textEditor.InfoTipCount = 1;
this.textEditor.InfoTipPosition = null;
this.textEditor.InfoTipSelectedIndex = 1;
this.textEditor.InfoTipVisible = false;
this.textEditor.KeepTabs = false;
lineMarginRender1.Bounds = new System.Drawing.Rectangle(19, 0, 18, 15);
this.textEditor.LineMarginRender = lineMarginRender1;
this.textEditor.LineNumberBorderColor = System.Drawing.Color.FromArgb(((int)(((byte)(43)))), ((int)(((byte)(145)))), ((int)(((byte)(175)))));
this.textEditor.LineNumberForeColor = System.Drawing.Color.FromArgb(((int)(((byte)(43)))), ((int)(((byte)(145)))), ((int)(((byte)(175)))));
this.textEditor.Location = new System.Drawing.Point(0, 24);
this.textEditor.LockCursorUpdate = false;
this.textEditor.Name = "textEditor";
this.textEditor.Saved = false;
this.textEditor.ShowScopeIndicator = true;
this.textEditor.Size = new System.Drawing.Size(461, 364);
this.textEditor.SmoothScroll = false;
this.textEditor.SplitView = true;
this.textEditor.SplitviewH = -4;
this.textEditor.SplitviewV = -4;
this.textEditor.TabGuideColor = System.Drawing.Color.FromArgb(((int)(((byte)(233)))), ((int)(((byte)(233)))), ((int)(((byte)(233)))));
this.textEditor.TabIndex = 2;
this.textEditor.WhitespaceColor = System.Drawing.SystemColors.ControlDark;
//
// syntaxDocument
//
this.syntaxDocument.Lines = new string[] {
""};
this.syntaxDocument.MaxUndoBufferSize = 1000;
this.syntaxDocument.Modified = false;
this.syntaxDocument.UndoStep = 0;
//
// Main
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(461, 388);
this.Controls.Add(this.textEditor);
this.Controls.Add(this.menuStrip);
this.MainMenuStrip = this.menuStrip;
this.Name = "Main";
this.Text = "Form1";
this.menuStrip.ResumeLayout(false);
this.menuStrip.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
#endregion
private System.Windows.Forms.MenuStrip menuStrip;
private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem showEOLMarkersToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem showLineNumbersToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem showScopeIndicatorToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem showGutterMarginToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem showTabGuidesToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem showWhitespaceToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem highlightActiveLineToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem allowBreakpointsToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem toolsToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem findToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem findNextToolStripMenuItem;
private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
private System.Windows.Forms.ToolStripMenuItem toggleBookmarkToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem nextBookmarkToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem previousBookmarkToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem newToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem openToolStripMenuItem;
private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem;
private System.Windows.Forms.OpenFileDialog openFileDialog;
private System.Windows.Forms.SaveFileDialog saveFileDialog;
private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem1;
private System.Windows.Forms.ToolStripMenuItem saveAsToolStripMenuItem;
private Storm.TextEditor.TextEditor textEditor;
private Storm.TextEditor.Document.SyntaxDocument syntaxDocument;
}
}