docs: public void setResponsePanelPosition(WorkbenchPanel.ResponsePanelPosition position) {
  		if (position == null) {
  			throw new IllegalArgumentException("Parameter position must not be null.");
  		}
  
  		if (responsePanelPosition == position) {
  			return;
  		}
  
  		responsePanelPosition = position;
  
  		switch (position) {
  		case PANEL_ABOVE:
  			aboveResponsePanelPositionButton.setSelected(true);
  			break;
  		case PANELS_SIDE_BY_SIDE:
  			panelsResponsePanelPositionButton.setSelected(true);
  			break;
  		case TAB_SIDE_BY_SIDE:
  			tabSideBySideResponsePanelPositionButton.setSelected(true);
  			break;
  		case TABS_SIDE_BY_SIDE:
  		default:
  			tabsResponsePanelPositionButton.setSelected(true);
  		}
  
  		getWorkbench().setResponsePanelPosition(responsePanelPosition);
  		options.getViewParam().setResponsePanelPosition(responsePanelPosition.toString());
  	}