bufferTabs.setTabPlacement(Integer.parseInt( jEdit.getProperty("view.bufferTabsPos")));
	private void initBufferTabs()	{		if("on".equals(jEdit.getProperty("view.showBufferTabs")))		{			if(bufferTabs == null)			{				bufferTabs = new BufferTabs(this,textArea);				getContentPane().remove(textArea);				getContentPane().add(BorderLayout.CENTER,bufferTabs);			}		}		else		{			if(bufferTabs != null)			{				getContentPane().remove(bufferTabs);				bufferTabs = null;			}			getContentPane().add(BorderLayout.CENTER,textArea);		}		getRootPane().revalidate();		getRootPane().repaint();	}