|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockFrontend | |
---|---|
bibliothek.gui.dock.event |
Uses of DockFrontend in bibliothek.gui.dock.event |
---|
Methods in bibliothek.gui.dock.event with parameters of type DockFrontend | |
---|---|
void |
DockFrontendListener.deleted(DockFrontend frontend,
String name)
Invoked if a setting was deleted. |
void |
DockFrontendListener.hidden(DockFrontend fronend,
Dockable dockable)
Invoked if a Dockable was made invisible through the
methods of a frontend. |
void |
DockFrontendListener.loaded(DockFrontend frontend,
String name)
Invoked if a new setting was loaded. |
void |
DockFrontendListener.saved(DockFrontend frontend,
String name)
Invoked if the current setting was saved with the name name . |
void |
DockFrontendListener.showed(DockFrontend frontend,
Dockable dockable)
Invoked if a Dockable was made visible through the
methods of a frontend. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |