297298299300301302303304305306307
} }); // Start job job.setUser(true); job.schedule(); } else { // Not auto-resolving, just save reallySave(monitor); } }
343344345346347348349350351352353
parentShell.getDisplay().asyncExec(showResult); } }); job.setUser(true); job.schedule(); } @Override public void initialize(IManagedForm form) { super.initialize(form);