docs: public void setParamTabWpButtonStyle(String value) {
  
          try {
              m_userSettings.setWorkplaceButtonStyle(Integer.parseInt(value));
          } catch (Throwable t) {
              // should usually never happen
          }
      }