//================================================================================
static public void end()
{
//need improvement:
if (optionsForm != null)
{
optionsForm.Close();
}
if (mainForm != null)
{
mainForm.Close();
}
if (System.Windows.Forms.Application.MessageLoop)
{
System.Windows.Forms.Application.Exit();
}
else
{
System.Environment.Exit(1);
}
}
