/** * Update the enablement for the pages' widgets based on the most recent changes to the server. */ protected void updateWidgetEnablement() { final boolean enabled = shouldAllowModifications(); if (standardOptions != null && !standardOptions.isDisposed()) { new WidgetVisitorUtility().setEnablementRecursive(standardOptions, enabled); } if (perModuleOptions != null && !perModuleOptions.isDisposed()) { new WidgetVisitorUtility().setEnablementRecursive(perModuleOptions, enabled); perModuleOptions.refreshViewer(); } }