/** * Invoked when the target of the listener has changed its state. * * @param e a ChangeEvent object */ public void stateChanged(final ChangeEvent e) { setSelectedEditor(this.pane.getSelectedIndex()); } }
/** * Invoked when the target of the listener has changed its state. * * @param e a ChangeEvent object */ public void stateChanged(final ChangeEvent e) { setSelectedEditor(this.pane.getSelectedIndex()); } }
/** * Invoked when the target of the listener has changed its state. * * @param e a ChangeEvent object */ public void stateChanged(final ChangeEvent e) { setSelectedEditor(this.pane.getSelectedIndex()); } }
/** * Adds a root editor. * * @param rootPanel the root panel. */ public void addRootEditor(final RootEditor rootPanel) { this.rootEditors.add(rootPanel); this.tabbedPane.add(rootPanel.getEditorName(), rootPanel.getMainPanel()); rootPanel.addPropertyChangeListener("enabled", new TabEnableChangeListener()); updateRootEditorEnabled(rootPanel); if (getRootEditorCount () == 1) { setSelectedEditor(0); } else if (isGlobalMenu()) { setJMenuBar(updateGlobalMenubar()); } }
/** * Adds a root editor. * * @param rootPanel the root panel. */ public void addRootEditor(final RootEditor rootPanel) { this.rootEditors.add(rootPanel); this.tabbedPane.add(rootPanel.getEditorName(), rootPanel.getMainPanel()); rootPanel.addPropertyChangeListener("enabled", new TabEnableChangeListener()); updateRootEditorEnabled(rootPanel); if (getRootEditorCount () == 1) { setSelectedEditor(0); } else if (isGlobalMenu()) { setJMenuBar(updateGlobalMenubar()); } }
/** * Adds a root editor. * * @param rootPanel the root panel. */ public void addRootEditor(final RootEditor rootPanel) { this.rootEditors.add(rootPanel); this.tabbedPane.add(rootPanel.getEditorName(), rootPanel.getMainPanel()); rootPanel.addPropertyChangeListener("enabled", new TabEnableChangeListener()); updateRootEditorEnabled(rootPanel); if (getRootEditorCount () == 1) { setSelectedEditor(0); } else if (isGlobalMenu()) { setJMenuBar(updateGlobalMenubar()); } }