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