/** * Update handler for the enable state of the root editor. * * @param editor the editor. */ protected void updateRootEditorEnabled(final RootEditor editor) { final boolean enabled = editor.isEnabled(); for (int i = 0; i < this.tabbedPane.getTabCount(); i++) { final Component tab = this.tabbedPane.getComponentAt(i); if (tab == editor.getMainPanel()) { this.tabbedPane.setEnabledAt(i, enabled); return; } } } }
/** * Update handler for the enable state of the root editor. * * @param editor the editor. */ protected void updateRootEditorEnabled(final RootEditor editor) { final boolean enabled = editor.isEnabled(); for (int i = 0; i < this.tabbedPane.getTabCount(); i++) { final Component tab = this.tabbedPane.getComponentAt(i); if (tab == editor.getMainPanel()) { this.tabbedPane.setEnabledAt(i, enabled); return; } } } }
/** * Update handler for the enable state of the root editor. * * @param editor the editor. */ protected void updateRootEditorEnabled(final RootEditor editor) { final boolean enabled = editor.isEnabled(); for (int i = 0; i < this.tabbedPane.getTabCount(); i++) { final Component tab = this.tabbedPane.getComponentAt(i); if (tab == editor.getMainPanel()) { this.tabbedPane.setEnabledAt(i, enabled); return; } } } }
/** * 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()); } }