private void do_stop()
{
if (thread != null)
{
/* stop ok here despite deprecation (?)
* I don't know any good way to abort generation without changing the
* generator code */
thread.stop();
thread = null;
}
generationFinished(false);
}
private void do_generate()
{
// workaround for a weird AWT bug
if (choosing)
{
return;
}
setEnabledAll(true);
thread = new GeneratorThread(this, fileName, dirName);
thread.start();
messages.Focus();
}
