42 |
// txtEditor |
// txtEditor |
43 |
// |
// |
44 |
this.txtEditor.Dock = System.Windows.Forms.DockStyle.Fill; |
this.txtEditor.Dock = System.Windows.Forms.DockStyle.Fill; |
45 |
|
this.txtEditor.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); |
46 |
this.txtEditor.Location = new System.Drawing.Point(0, 25); |
this.txtEditor.Location = new System.Drawing.Point(0, 25); |
47 |
this.txtEditor.Name = "txtEditor"; |
this.txtEditor.Name = "txtEditor"; |
48 |
this.txtEditor.Size = new System.Drawing.Size(913, 521); |
this.txtEditor.Size = new System.Drawing.Size(913, 521); |
106 |
// |
// |
107 |
// ScratchPadDocument |
// ScratchPadDocument |
108 |
// |
// |
109 |
this.AutoScaleDimensions = new System.Drawing.SizeF(96F, 96F); |
this.AutoScaleDimensions = new System.Drawing.SizeF(10F, 18F); |
110 |
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Dpi; |
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; |
111 |
this.Controls.Add(this.txtEditor); |
this.Controls.Add(this.txtEditor); |
112 |
this.Controls.Add(this.toolStrip1); |
this.Controls.Add(this.toolStrip1); |
113 |
this.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); |
this.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); |
114 |
this.Name = "ScratchPadDocument"; |
this.Name = "ScratchPadDocument"; |
115 |
this.Size = new System.Drawing.Size(913, 546); |
this.Size = new System.Drawing.Size(913, 546); |
116 |
|
this.Load += new System.EventHandler(this.ScratchPadDocument_Load); |
117 |
this.toolStrip1.ResumeLayout(false); |
this.toolStrip1.ResumeLayout(false); |
118 |
this.toolStrip1.PerformLayout(); |
this.toolStrip1.PerformLayout(); |
119 |
this.ResumeLayout(false); |
this.ResumeLayout(false); |