347348349350351352353354355356357
// Update warning UpdateISBNWarningWorker worker = new UpdateISBNWarningWorker( wiki, window, pages, false, false); worker.start(); } /** * @return List of pages for which warnings should be updated. */
219220221222223224225226227228229
return; } } UpdateISBNWarningWorker worker = new UpdateISBNWarningWorker( wiki, window, simulation); worker.start(); } /** * Action called when Monitor Recent Changes button is pressed. */