4546474849505152535455
public void finished() { puzzlePanel_.repaint(); puzzlePanel_.setCursor(Cursor.getDefaultCursor()); } }; worker.start(); } public void solvePuzzle(final int delay) { Worker worker = new Worker() {
6566676869707172737475
@Override public void finished() { puzzlePanel_.repaint(); } }; worker.start(); } public void validatePuzzle() { puzzlePanel_.validatePuzzle(); }
8687888990919293
@Override public void finished() { mazePanel.repaint(); } }; worker.start(); } }
8889909192939495
} return true; } }; worker.start(); } }
5758596061626364656667
controller_.advanceToNextPlayer(); processing_ = false; } }; worker.start(); return false; } /** * @return true if the viewer is currently processing (i.e. searching)