}
	public void unsplit()	{		if(splitPane != null)		{			JComponent parent = (JComponent)splitPane.getParent();			parent.remove(splitPane);			splitPane = null;			if(bufferTabs != null)				bufferTabs.update();			else				parent.revalidate();		}		focusOnTextArea();	}