public static VisualiserUpdateJob getInstance() { if (theJob == null) { theJob = new VisualiserUpdateJob(VisualiserMessages.Jobs_VisualiserUpdate); theJob.setUser(true); theJob.setPriority(Job.INTERACTIVE); } return theJob; }
/** Refresh the Visualiser views. */ public static void refresh() { if (visualiser != null && visualiser.getSite() != null) { if (visualiser.getSite().getPage().isPartVisible(visualiser)) { VisualiserUpdateJob.getInstance().schedule(); } else { visualiser.setNeedsUpdating(); } } }