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