docs: private JPanel getPanelSession() {
  		if (panelContext == null) {
  			panelContext = new JPanel();
  			panelContext.setLayout(new GridBagLayout());
  			panelContext.setName(Constant.messages.getString("context.list"));
  		    if (Model.getSingleton().getOptionsParam().getViewParam().getWmUiHandlingOption() == 0) {
  		    	panelContext.setSize(180, 101);
  		    }
  		    panelContext.add(getJScrollPane(), LayoutHelper.getGBC(0, 0, 4, 1.0D, 1.0D));
  		}
  		return panelContext;
  	}