|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DockFrontendListener
A listener to a DockFrontend
. The listener is informed about the
changes of the frontend.
Method Summary | |
---|---|
void |
deleted(DockFrontend frontend,
java.lang.String name)
Invoked if a setting was deleted. |
void |
hidden(DockFrontend fronend,
Dockable dockable)
Invoked if a Dockable was made invisible through the
methods of a frontend. |
void |
loaded(DockFrontend frontend,
java.lang.String name)
Invoked if a new setting was loaded. |
void |
saved(DockFrontend frontend,
java.lang.String name)
Invoked if the current setting was saved with the name name . |
void |
showed(DockFrontend frontend,
Dockable dockable)
Invoked if a Dockable was made visible through the
methods of a frontend. |
Method Detail |
---|
void hidden(DockFrontend fronend, Dockable dockable)
Dockable
was made invisible through the
methods of a frontend.
fronend
- the invokerdockable
- the element which is no longer visiblevoid showed(DockFrontend frontend, Dockable dockable)
Dockable
was made visible through the
methods of a frontend.
frontend
- the invokerdockable
- the element which was made visiblevoid loaded(DockFrontend frontend, java.lang.String name)
frontend
- the invokername
- the name of the settingvoid saved(DockFrontend frontend, java.lang.String name)
name
.
frontend
- the invokername
- the name of the settingvoid deleted(DockFrontend frontend, java.lang.String name)
frontend
- the invokername
- the name of the deleted setting
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |