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);
}
public boolean hasFocus() {
return currentView == null ? false : currentView.getComponent().hasFocus();
}
public void requestFocus() {
if (currentView != null) currentView.getComponent().requestFocus();
}
