/** * Refresh editor pages with new contents. * * @since 3.0 */ public void refreshPages() { for (IFormPage page : getPages()) { if (page instanceof TaskFormPage) { if (page.getManagedForm() != null && !page.getManagedForm().getForm().isDisposed()) { ((TaskFormPage) page).refresh(); } } } }