/// 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!"));
}
}
}