/** * 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()); } }
/** * Sets the global menu flag. * * @param globalMenu the flag. */ public void setGlobalMenu(final boolean globalMenu) { this.globalMenu = globalMenu; if (isGlobalMenu()) { setJMenuBar(updateGlobalMenubar()); } else { if (getRootEditorCount () > 0) { setJMenuBar(createEditorMenubar(getRootEditor(getSelectedEditor()))); } } }
/** * Sets the global menu flag. * * @param globalMenu the flag. */ public void setGlobalMenu(final boolean globalMenu) { this.globalMenu = globalMenu; if (isGlobalMenu()) { setJMenuBar(updateGlobalMenubar()); } else { if (getRootEditorCount () > 0) { setJMenuBar(createEditorMenubar(getRootEditor(getSelectedEditor()))); } } }
/** * Sets the global menu flag. * * @param globalMenu the flag. */ public void setGlobalMenu(final boolean globalMenu) { this.globalMenu = globalMenu; if (isGlobalMenu()) { setJMenuBar(updateGlobalMenubar()); } else { if (getRootEditorCount () > 0) { setJMenuBar(createEditorMenubar(getRootEditor(getSelectedEditor()))); } } }