/** * Refreshes the page with a new resource. * * @param newResource new resource for the page */ public void refresh(IResource newResource) { super.refresh(newResource); if (isTableShown) { refreshDFATable(newResource); } else { isTableRefreshed = false; } refreshMethodSelector(); }