public final void setDocument(T document) {
if (this.document != null) this.document.release();
this.document = document;
for (EditorView<T> view : views) {
view.setDocument(document);
}
}
public void addEditorView(EditorView<T> editorView) {
views.add(editorView);
inputTabs.addTab(
null,
new VTextIcon(inputTabs, editorView.getTitle(), VTextIcon.ROTATE_LEFT),
editorView.getComponent());
editorView.addPropertyChangeListener(this);
editorView.addLocationListener(this);
editorView.setDocument(document);
}
