|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockFrontend | |
---|---|
bibliothek.gui.dock.event | Listeners, adapters and events used in the whole framework. A Listener is added to some object that needs to be observed, the Listener will be informed whenever the observed object changes. An Adapter is an implementation of a Listener, but the methods of an Adapter are empty. An Event is an object carrying information from an observed object to a Listener. |
Uses of DockFrontend in bibliothek.gui.dock.event |
---|
Methods in bibliothek.gui.dock.event with parameters of type DockFrontend | |
---|---|
void |
DockFrontendAdapter.added(DockFrontend frontend,
Dockable dockable)
|
void |
DockFrontendListener.added(DockFrontend frontend,
Dockable dockable)
Informs this listener that an additional dockable has
been added to the list of known Dockable s of frontend . |
void |
DockFrontendAdapter.deleted(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.deleted(DockFrontend frontend,
String name)
Invoked if a setting was deleted. |
void |
DockFrontendAdapter.hidden(DockFrontend fronend,
Dockable dockable)
|
void |
DockFrontendListener.hidden(DockFrontend frontend,
Dockable dockable)
Invoked if a Dockable was made invisible. |
void |
DockFrontendAdapter.hideable(DockFrontend frontend,
Dockable dockable,
boolean hideable)
|
void |
DockFrontendListener.hideable(DockFrontend frontend,
Dockable dockable,
boolean hideable)
Called when the hideable -state
of dockable changes. |
void |
DockFrontendAdapter.loaded(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.loaded(DockFrontend frontend,
String name)
Invoked if a new setting was loaded. |
void |
DockFrontendAdapter.read(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.read(DockFrontend frontend,
String name)
Called when a setting was read. |
void |
DockFrontendAdapter.removed(DockFrontend frontend,
Dockable dockable)
|
void |
DockFrontendListener.removed(DockFrontend frontend,
Dockable dockable)
Informs this listener that dockable has been removed
from the list of known Dockable s of frontend . |
void |
DockFrontendAdapter.saved(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.saved(DockFrontend frontend,
String name)
Invoked if the current setting was saved with the name name . |
void |
DockFrontendAdapter.shown(DockFrontend frontend,
Dockable dockable)
|
void |
DockFrontendListener.shown(DockFrontend frontend,
Dockable dockable)
Invoked if a Dockable was made visible. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |