/// REFERENCE: System.Windows.Forms using System; using System.Drawing; using System.Collections; using System.ComponentModel; using System.Windows.Forms; namespace NemerleApplication { /// /// Summary description for Form1. /// public class Nemr : System.Windows.Forms.Form { private mutable groupBox1 : System.Windows.Forms.GroupBox; private mutable button1 : System.Windows.Forms.Button; private mutable radioButton1 : System.Windows.Forms.RadioButton; /// /// Required designer variable. /// private components : System.ComponentModel.Container = null; public this () { // // Required for Windows Form Designer support // InitializeComponent(); def _cursor = Cursor.Current; Cursor.Position = Point(1, 1); // // TODO: Add any constructor code after InitializeComponent call // } /// [summary] /// Clean up any resources being used. /// protected override Dispose( disposing : bool ) : void { when( disposing ) { when (components != null) { components.Dispose(); } } base.Dispose( disposing ); } #region Windows Form Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private InitializeComponent() : void { this.groupBox1 = System.Windows.Forms.GroupBox(); this.radioButton1 = System.Windows.Forms.RadioButton(); this.button1 = System.Windows.Forms.Button(); this.groupBox1.SuspendLayout(); this.SuspendLayout(); // // groupBox1 // this.groupBox1.Controls.Add(this.radioButton1); this.groupBox1.Location = System.Drawing.Point(40, 24); this.groupBox1.Name = "groupBox1"; this.groupBox1.Size = System.Drawing.Size(200, 160); this.groupBox1.TabIndex = 0; this.groupBox1.TabStop = false; this.groupBox1.Text = "Mono is better"; // // radioButton1 // this.radioButton1.Location = System.Drawing.Point(40, 48); this.radioButton1.Name = "radioButton1"; this.radioButton1.Size = System.Drawing.Size(104, 32); this.radioButton1.TabIndex = 0; this.radioButton1.Text = "Mono"; // // button1 // this.button1.Location = System.Drawing.Point(80, 224); this.button1.Name = "button1"; this.button1.Size = System.Drawing.Size(136, 32); this.button1.TabIndex = 1; this.button1.Text = "Get Nemerlized!"; this.button1.Click += this.button1_Click; // // Nemr // this.AutoScaleBaseSize = System.Drawing.Size(5, 13); this.ClientSize = System.Drawing.Size(292, 273); this.Controls.Add(this.button1); this.Controls.Add(this.groupBox1); this.Name = "Nemr"; this.Text = "Nemerle Rulez!"; this.groupBox1.ResumeLayout(false); this.ResumeLayout(false); } #endregion /// /// The main entry point for the application. /// [STAThread] static Main() : void { Application.Run(Nemr()); } private button1_Click(_sender : object, _e : System.EventArgs) : void { ignore (MessageBox.Show ("You are now under my spell!")); } } }