code: public void setParamTabEdButtonStyle(String value) {
  
          try {
              m_userSettings.setEditorButtonStyle(Integer.parseInt(value));
          } catch (Throwable t) {
              // should usually never happen
          }
      }
docs: Sets the "editor button style" setting.<p>
  
  @param value a String representation of an int value to set the "editor button style" setting