51 |
this.txtEditor.CopyAsRTF = false; |
this.txtEditor.CopyAsRTF = false; |
52 |
this.txtEditor.Dock = System.Windows.Forms.DockStyle.Fill; |
this.txtEditor.Dock = System.Windows.Forms.DockStyle.Fill; |
53 |
this.txtEditor.Document = this.syntaxDocument1; |
this.txtEditor.Document = this.syntaxDocument1; |
54 |
|
this.txtEditor.FontSize = 12F; |
55 |
this.txtEditor.InfoTipCount = 1; |
this.txtEditor.InfoTipCount = 1; |
56 |
this.txtEditor.InfoTipPosition = null; |
this.txtEditor.InfoTipPosition = null; |
57 |
this.txtEditor.InfoTipSelectedIndex = 1; |
this.txtEditor.InfoTipSelectedIndex = 1; |
58 |
this.txtEditor.InfoTipVisible = false; |
this.txtEditor.InfoTipVisible = false; |
59 |
lineMarginRender1.Bounds = new System.Drawing.Rectangle(19, 0, 19, 16); |
lineMarginRender1.Bounds = new System.Drawing.Rectangle(19, 0, 20, 17); |
60 |
this.txtEditor.LineMarginRender = lineMarginRender1; |
this.txtEditor.LineMarginRender = lineMarginRender1; |
61 |
this.txtEditor.Location = new System.Drawing.Point(0, 25); |
this.txtEditor.Location = new System.Drawing.Point(0, 25); |
62 |
this.txtEditor.LockCursorUpdate = false; |
this.txtEditor.LockCursorUpdate = false; |
83 |
// |
// |
84 |
// toolStrip1 |
// toolStrip1 |
85 |
// |
// |
86 |
|
this.toolStrip1.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); |
87 |
this.toolStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { |
this.toolStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { |
88 |
this.mnuItemOpen, |
this.mnuItemOpen, |
89 |
this.mnuItemSave, |
this.mnuItemSave, |
99 |
this.mnuItemOpen.Image = ((System.Drawing.Image)(resources.GetObject("mnuItemOpen.Image"))); |
this.mnuItemOpen.Image = ((System.Drawing.Image)(resources.GetObject("mnuItemOpen.Image"))); |
100 |
this.mnuItemOpen.ImageTransparentColor = System.Drawing.Color.Magenta; |
this.mnuItemOpen.ImageTransparentColor = System.Drawing.Color.Magenta; |
101 |
this.mnuItemOpen.Name = "mnuItemOpen"; |
this.mnuItemOpen.Name = "mnuItemOpen"; |
102 |
this.mnuItemOpen.Size = new System.Drawing.Size(56, 22); |
this.mnuItemOpen.Size = new System.Drawing.Size(68, 22); |
103 |
this.mnuItemOpen.Text = "&Open"; |
this.mnuItemOpen.Text = "&Open"; |
104 |
this.mnuItemOpen.Click += new System.EventHandler(this.mnuItemOpen_Click); |
this.mnuItemOpen.Click += new System.EventHandler(this.mnuItemOpen_Click); |
105 |
// |
// |
108 |
this.mnuItemSave.Image = ((System.Drawing.Image)(resources.GetObject("mnuItemSave.Image"))); |
this.mnuItemSave.Image = ((System.Drawing.Image)(resources.GetObject("mnuItemSave.Image"))); |
109 |
this.mnuItemSave.ImageTransparentColor = System.Drawing.Color.Magenta; |
this.mnuItemSave.ImageTransparentColor = System.Drawing.Color.Magenta; |
110 |
this.mnuItemSave.Name = "mnuItemSave"; |
this.mnuItemSave.Name = "mnuItemSave"; |
111 |
this.mnuItemSave.Size = new System.Drawing.Size(51, 22); |
this.mnuItemSave.Size = new System.Drawing.Size(68, 22); |
112 |
this.mnuItemSave.Text = "&Save"; |
this.mnuItemSave.Text = "&Save"; |
113 |
this.mnuItemSave.Click += new System.EventHandler(this.mnuItemSave_Click); |
this.mnuItemSave.Click += new System.EventHandler(this.mnuItemSave_Click); |
114 |
// |
// |
115 |
// mnuItemClose |
// mnuItemClose |
116 |
// |
// |
117 |
|
this.mnuItemClose.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); |
118 |
this.mnuItemClose.Image = ((System.Drawing.Image)(resources.GetObject("mnuItemClose.Image"))); |
this.mnuItemClose.Image = ((System.Drawing.Image)(resources.GetObject("mnuItemClose.Image"))); |
119 |
this.mnuItemClose.ImageTransparentColor = System.Drawing.Color.Magenta; |
this.mnuItemClose.ImageTransparentColor = System.Drawing.Color.Magenta; |
120 |
this.mnuItemClose.Name = "mnuItemClose"; |
this.mnuItemClose.Name = "mnuItemClose"; |
121 |
this.mnuItemClose.Size = new System.Drawing.Size(56, 22); |
this.mnuItemClose.Size = new System.Drawing.Size(78, 22); |
122 |
this.mnuItemClose.Text = "&Close"; |
this.mnuItemClose.Text = "&Close"; |
123 |
this.mnuItemClose.Click += new System.EventHandler(this.mnuItemClose_Click); |
this.mnuItemClose.Click += new System.EventHandler(this.mnuItemClose_Click); |
124 |
// |
// |
136 |
// |
// |
137 |
// ScratchPadDocument |
// ScratchPadDocument |
138 |
// |
// |
139 |
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); |
this.AutoScaleDimensions = new System.Drawing.SizeF(96F, 96F); |
140 |
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; |
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Dpi; |
141 |
this.Controls.Add(this.txtEditor); |
this.Controls.Add(this.txtEditor); |
142 |
this.Controls.Add(this.toolStrip1); |
this.Controls.Add(this.toolStrip1); |
143 |
|
this.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); |
144 |
this.Name = "ScratchPadDocument"; |
this.Name = "ScratchPadDocument"; |
145 |
this.Size = new System.Drawing.Size(913, 546); |
this.Size = new System.Drawing.Size(913, 546); |
146 |
this.toolStrip1.ResumeLayout(false); |
this.toolStrip1.ResumeLayout(false); |