buffer.putProperty(Buffer.OVERWRITE,new Boolean( textArea.isOverwriteEnabled()));
	public void saveCaretInfo()	{		buffer.putProperty(Buffer.CARET,new Integer(			textArea.getCaretPosition()));		Selection[] selection = textArea.getSelection();		if(selection != null)			buffer.putProperty(Buffer.SELECTION,selection);		buffer.putProperty(Buffer.SCROLL_VERT,new Integer(			textArea.getFirstLine()));		buffer.putProperty(Buffer.SCROLL_HORIZ,new Integer(			textArea.getHorizontalOffset()));		buffer.putProperty(Buffer.OVERWRITE,new Boolean(			textArea.isOverwriteEnabled()));	}