oracle.ide.db.panels
Interface PanelLibrary.HeaderPanelListener

All Known Implementing Classes:

MDDEditorPanel, oracle.ide.db.panels.plsql.PlSqlTabbedPanel, TabbedEditorPanel, XMLSchemaTabbedPanel

Enclosing class:

PanelLibrary

public static interface PanelLibrary.HeaderPanelListener

Interface that defines a listener for changes to the panel set. A PanelSetChangingPanel can have a PanelSetListener registered so that when an event occurs that requires a change to the set of panels in a dialog the listener can respond.

Method Summary

void	panelSetChange(java.lang.String key, Navigable[] navs) Notifies the listeners that the panel set is changing.

Method Detail

panelSetChange

void panelSetChange(java.lang.String key,
                    Navigable[] navs)
                    throws TraversalException

Notifies the listeners that the panel set is changing.

Throws:

TraversalException