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