bibliothek.gui.dock.event
Interface DockFrontendListener

All Known Implementing Classes:
DockFrontendAdapter

public interface DockFrontendListener

A listener to a DockFrontend. The listener is informed about the changes of the frontend.

Author:
Benjamin Sigg

Method Summary
 void added(DockFrontend frontend, Dockable dockable)
          Informs this listener that an additional dockable has been added to the list of known Dockables of frontend.
 void deleted(DockFrontend frontend, 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, String name)
          Invoked if a new setting was loaded.
 void read(DockFrontend frontend, String name)
          Called when a setting was read.
 void removed(DockFrontend frontend, Dockable dockable)
          Informs this listener that dockable has been removed from the list of known Dockables of frontend.
 void saved(DockFrontend frontend, 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.
 

Method Detail

hidden

void hidden(DockFrontend frontend,
            Dockable dockable)
Invoked if a Dockable was made invisible. This includes Dockables which are not registered in frontend, but known in the DockController.

Parameters:
frontend - the invoker
dockable - the element which is no longer visible

shown

void shown(DockFrontend frontend,
           Dockable dockable)
Invoked if a Dockable was made visible. This includes Dockables which are not registered in frontend, but known in the DockController.

Parameters:
frontend - the invoker
dockable - the element which was made visible

added

void added(DockFrontend frontend,
           Dockable dockable)
Informs this listener that an additional dockable has been added to the list of known Dockables of frontend.

Parameters:
frontend - the source of this call
dockable - the new element

removed

void removed(DockFrontend frontend,
             Dockable dockable)
Informs this listener that dockable has been removed from the list of known Dockables of frontend.

Parameters:
frontend - the source of this call
dockable - the element that has been removed

hideable

void hideable(DockFrontend frontend,
              Dockable dockable,
              boolean hideable)
Called when the hideable-state of dockable changes.

Parameters:
frontend - the source of the event
dockable - the element whose state changed
hideable - the new state

loaded

void loaded(DockFrontend frontend,
            String name)
Invoked if a new setting was loaded. Only settings that are known to frontend can be loaded. When a setting is loaded, the layout of all DockStations and Dockables is changed such that the layout reflects the properties of the setting.

Parameters:
frontend - the invoker
name - the name of the setting

read

void read(DockFrontend frontend,
          String name)
Called when a setting was read. The setting could have be known before it was read. Reading a setting does not mean that the setting is applied. It is just available now for loading.

Parameters:
frontend - the invoker
name - the name of the setting which was read

saved

void saved(DockFrontend frontend,
           String name)
Invoked if the current setting was saved with the name name.

Parameters:
frontend - the invoker
name - the name of the setting

deleted

void deleted(DockFrontend frontend,
             String name)
Invoked if a setting was deleted.

Parameters:
frontend - the invoker
name - the name of the deleted setting