/** * 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()); } }
/** * Creates a menu bar. * * @param root * @return A menu bar. */ private JMenuBar createEditorMenubar(final RootEditor root) { JMenuBar menuBar = getJMenuBar(); if (menuBar == null) { menuBar = new JMenuBar(); } else { menuBar.removeAll(); } addMenus(menuBar, getPrefixMenus()); if (isGlobalMenu()) { for (int i = 0; i < this.rootEditors.size(); i++) { final RootEditor editor = (RootEditor) this.rootEditors.get(i); addMenus(menuBar, editor.getMenus()); } } else { addMenus(menuBar, root.getMenus()); } addMenus(menuBar, getPostfixMenus()); return menuBar; }
/** * Creates a menu bar. * * @param root * @return A menu bar. */ private JMenuBar createEditorMenubar(final RootEditor root) { JMenuBar menuBar = getJMenuBar(); if (menuBar == null) { menuBar = new JMenuBar(); } else { menuBar.removeAll(); } addMenus(menuBar, getPrefixMenus()); if (isGlobalMenu()) { for (int i = 0; i < this.rootEditors.size(); i++) { final RootEditor editor = (RootEditor) this.rootEditors.get(i); addMenus(menuBar, editor.getMenus()); } } else { addMenus(menuBar, root.getMenus()); } addMenus(menuBar, getPostfixMenus()); return menuBar; }
/** * Creates a menu bar. * * @param root * @return A menu bar. */ private JMenuBar createEditorMenubar(final RootEditor root) { JMenuBar menuBar = getJMenuBar(); if (menuBar == null) { menuBar = new JMenuBar(); } else { menuBar.removeAll(); } addMenus(menuBar, getPrefixMenus()); if (isGlobalMenu()) { for (int i = 0; i < this.rootEditors.size(); i++) { final RootEditor editor = (RootEditor) this.rootEditors.get(i); addMenus(menuBar, editor.getMenus()); } } else { addMenus(menuBar, root.getMenus()); } addMenus(menuBar, getPostfixMenus()); return menuBar; }
/** * 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()))); } } }