/**
  * 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();
   }
 }