// Window management
private void docking_Click(object sender, EventArgs e)
{
AppControl.DockEditors = docking.Checked;
if (docking.Checked)
{
AppControl.Dock();
}
else
{
AppControl.Undock();
}
}
