public void setDBDoc(String string) {
		if(string != null) {
			data.setDBDoc(string);
			editor.setType(data.getFormatString());
			editor.setText(data.getDocumentString());
		}else
			editor.setText(string);
	}
	/*
	public String getText() {
		editor.updateDoc(data);
		return editor.getText();
	}
	public void setText(String string) {
		editor.setText(string);
	}
	*/
	public String getDBDoc() {
		editor.updateDoc(data);
		return data.getDBDoc();
	}