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(); }