{ if(editPane != null) setBuffer(editPane.getBuffer()); else setBuffer(jEdit.getFirstBuffer()); }
setBuffer(jEdit.getFirstBuffer());
	EditPane(View view, EditPane editPane, Buffer buffer)	{		super(new BorderLayout());		init = true;		this.view = view;		EditBus.addToBus(this);		textArea = new JEditTextArea(view);		textArea.add(JEditTextArea.LEFT_OF_SCROLLBAR,caretStatus			= new CaretStatus(this));		textArea.addCaretListener(new CaretHandler());		add(BorderLayout.CENTER,textArea);		markerHighlight = new MarkerHighlight();		textArea.getGutter().addCustomHighlight(markerHighlight);		propertiesChanged();		if(buffer == null)		{			if(editPane != null)				setBuffer(editPane.getBuffer());			else				setBuffer(jEdit.getFirstBuffer());		}		else			setBuffer(buffer);		loadBufferSwitcher();		init = false;	}