public interface DockFrontendListener
DockFrontend
. The listener is informed about the
changes of the frontend.Modifier and Type | Method and Description |
---|---|
void |
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 |
deleted(DockFrontend frontend,
java.lang.String name)
Invoked if a setting was deleted.
|
void |
hidden(DockFrontend frontend,
Dockable dockable)
Invoked if a
Dockable was made invisible. |
void |
hideable(DockFrontend frontend,
Dockable dockable,
boolean hideable)
Called when the
hideable -state
of dockable changes. |
void |
loaded(DockFrontend frontend,
java.lang.String name)
Invoked if a new setting was loaded.
|
void |
read(DockFrontend frontend,
java.lang.String name)
Called when a setting was read.
|
void |
removed(DockFrontend frontend,
Dockable dockable)
|
void |
saved(DockFrontend frontend,
java.lang.String name)
Invoked if the current setting was saved with the name
name . |
void |
shown(DockFrontend frontend,
Dockable dockable)
Invoked if a
Dockable was made visible. |
void hidden(DockFrontend frontend, Dockable dockable)
Dockable
was made invisible. This includes
Dockable
s which are not registered in frontend
, but
known in the DockController
.frontend
- the invokerdockable
- the element which is no longer visiblevoid shown(DockFrontend frontend, Dockable dockable)
Dockable
was made visible. This includes
Dockable
s which are not registered in frontend
, but
known in the DockController
.frontend
- the invokerdockable
- the element which was made visiblevoid added(DockFrontend frontend, Dockable dockable)
dockable
has
been added to the list of known Dockable
s of frontend
.frontend
- the source of this calldockable
- the new elementvoid removed(DockFrontend frontend, Dockable dockable)
frontend
- the source of this calldockable
- the element that has been removedvoid hideable(DockFrontend frontend, Dockable dockable, boolean hideable)
hideable
-state
of dockable
changes.frontend
- the source of the eventdockable
- the element whose state changedhideable
- the new statevoid loaded(DockFrontend frontend, java.lang.String name)
frontend
can be loaded. When a setting is loaded, the
layout of all DockStation
s and Dockable
s is changed such
that the layout reflects the properties of the setting.frontend
- the invokername
- the name of the settingvoid read(DockFrontend frontend, java.lang.String name)
loading
.frontend
- the invokername
- the name of the setting which was readvoid 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