void quitdbox_Cancel(object sender, Toolbox.ToolboxEventArgs args)
{
Reporter.WriteLine("Quit cancelled.");
Reporter.WriteLine("");
Toolbox.QuitDialogue quit_dialogue = (Toolbox.QuitDialogue)sender;
quit_dialogue.Dispose();
}
void quitdbox_Quit(object sender, Toolbox.ToolboxEventArgs args)
{
Reporter.WriteLine("Quit handler called - Exiting...");
Reporter.WriteLine("");
Quit = true;
Toolbox.QuitDialogue quit_dialogue = (Toolbox.QuitDialogue)sender;
quit_dialogue.Dispose();
}