code: public void setWorkbenchLayout(WorkbenchPanel.Layout layout) {
  		if (layout == null) {
  			throw new IllegalArgumentException("Parameter layout must not be null.");
  		}
  
  		if (workbenchLayout == layout) {
  			return;
  		}
  
  		workbenchLayout = layout;
  
  		switch (workbenchLayout) {
  		case EXPAND_STATUS:
  			getExpandStatusLayoutButton().setSelected(true);
  			setResponsePanelPositionButtonsEnabled(true);
  			break;
  		case FULL:
  			getFullLayoutButton().setSelected(true);
  			setResponsePanelPositionButtonsEnabled(false);
  			break;
  		case EXPAND_SELECT:
  		default:
  			getExpandSelectLayoutButton().setSelected(true);
  			setResponsePanelPositionButtonsEnabled(true);
  			break;
  		}
  
  		getWorkbench().setWorkbenchLayout(workbenchLayout);
  		options.getViewParam().setDisplayOption(workbenchLayout.getId());
  	}
docs: Sets the layout of the workbench panel.
  <p>
  If the layout is already set no further action is taken, otherwise updates the main tool bar buttons, the workbench panel
  and the configurations file.
  
  @param layout the new layout of the workbench panel
  @throws IllegalArgumentException if the given parameter is {@code null}.
  @since 2.5.0
  @see #getWorkbenchLayout()
  @see #setResponsePanelPosition(WorkbenchPanel.ResponsePanelPosition)