docs: public Properties getDisplayOptions(CmsObject cms) {
  
          // get the configuration file name for the current user
          String mappedConfigFile = (String)m_userMappings.get(cms.getRequestContext().getCurrentUser().getName());
          Properties displayOptions;
          if (mappedConfigFile == null) {
              // no configuration file name stored for user, get the navigation items of the configuration folder
              String configFolder = OpenCms.getSystemInfo().getConfigFilePath(cms, FOLDER_EDITORCONFIGURATION);
              List<CmsJspNavElement> items = new CmsJspNavBuilder(cms).getNavigationForFolder(configFolder);
              if (items.size() > 0) {
                  // get first found configuration file
                  CmsJspNavElement nav = items.get(0);
                  mappedConfigFile = nav.getFileName();
                  synchronized (m_loadedConfigurations) {
                      // must sync read/write access to shared map
                      displayOptions = (Properties)m_loadedConfigurations.get(nav.getFileName());
                      if (displayOptions == null) {
                          // configuration file has not yet been loaded, load it
                          try {
                              // read configuration file
                              CmsFile optionFile = cms.readFile(
                                  nav.getResourceName(),
                                  CmsResourceFilter.IGNORE_EXPIRATION);
                              InputStream in = new ByteArrayInputStream(optionFile.getContents());
                              displayOptions = new Properties();
                              displayOptions.load(in);
                              // store loaded options
                              m_loadedConfigurations.put(nav.getFileName(), displayOptions);
                          } catch (CmsException e) {
                              // set configuration to not available
                              if (LOG.isInfoEnabled()) {
                                  LOG.info(e);
                              }
                              mappedConfigFile = NO_MAPPING_FOR_USER;
                          } catch (IOException e) {
                              // set configuration to not available
                              if (LOG.isInfoEnabled()) {
                                  LOG.info(e);
                              }
                              mappedConfigFile = NO_MAPPING_FOR_USER;
                              displayOptions = null;
                          }
                      }
                  }
              } else {
                  // no configuration available for current user, store this in mapping
                  mappedConfigFile = NO_MAPPING_FOR_USER;
                  displayOptions = null;
              }
              if (LOG.isDebugEnabled()) {
                  // check which mapping has been stored
                  LOG.debug(
                      Messages.get().getBundle().key(
                          Messages.LOG_MAP_CONFIG_FILE_TO_USER_2,
                          mappedConfigFile,
                          cms.getRequestContext().getCurrentUser().getName()));
              }
              // store the file name of the configuration file for the current user
              m_userMappings.put(cms.getRequestContext().getCurrentUser().getName(), mappedConfigFile);
          } else {
              // configuration file for current user is known, get options from loaded configurations
              displayOptions = (Properties)m_loadedConfigurations.get(mappedConfigFile);
          }
          // return the editor display options for this user
          return displayOptions;
      }