oracle.ide.db.panels

Interface PanelLibrary.HeaderPanelListener

Enclosing class:

PanelLibrary<T extends DBObject>

Deprecated.

replaced by PanelSetChanger

@Deprecated
public static interface PanelLibrary.HeaderPanelListener

Method Summary

Methods

Modifier and Type	Method and Description
void	panelSetChange(java.lang.String key, Navigable[] navs) Deprecated. Notifies the listeners that the panel set is changing.

Method Detail

panelSetChange

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

Deprecated.

Notifies the listeners that the panel set is changing.

Parameters:

key - the panel set key to switch to

navs - the set of Navigables that make up the given panel set key

header - the calling HeaderPanel so that the change can be validated

Throws:

TraversalException