docs: protected void topFrameReload(CmsWorkplaceSettings settings) {
  
          // ensure to read the settings from the database
          initUserSettings(getCms(), settings, true);
  
          // reset the HTML list in order to force a full reload
          settings.setListObject(null);
      }