Beispiel #1
0
  public final void setDocument(T document) {
    if (this.document != null) this.document.release();

    this.document = document;

    for (EditorView<T> view : views) {
      view.setDocument(document);
    }
  }
Beispiel #2
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);
  }