public Form1()
{
InitializeComponent();
vp = new ViewPort();
symbol = new Symbol();
vp.resize(canvas.Width, canvas.Height);
canvas.MouseWheel += new MouseEventHandler(Panel1_MouseWheel);
Style.init();
status_string.Anchor = (AnchorStyles.Bottom | AnchorStyles.Left);
geom_explorer.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
color_prop_combo.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
width_prop.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
transp_prop.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
radius_prop.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
label1.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
label2.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
label3.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
label4.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
transform_group.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
color_prop_combo.DataSource = new BindingSource(Style.S52colors, null);
color_prop_combo.DisplayMember = "Key";
color_prop_combo.ValueMember = "Value";
collectionRoundMenuStrip = new ContextMenuStrip();
}
private void canvas_SizeChanged(object sender, EventArgs e)
{
vp.resize(canvas.Width, canvas.Height);
canvas.Refresh();
}