bibliothek.gui.dock.event
Interface DockFrontendListener


public interface DockFrontendListener

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

Author:
Benjamin Sigg

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

hidden

void hidden(DockFrontend fronend,
            Dockable dockable)
Invoked if a Dockable was made invisible through the methods of a frontend.

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

showed

void showed(DockFrontend frontend,
            Dockable dockable)
Invoked if a Dockable was made visible through the methods of a frontend.

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

loaded

void loaded(DockFrontend frontend,
            java.lang.String name)
Invoked if a new setting was loaded.

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

saved

void saved(DockFrontend frontend,
           java.lang.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,
             java.lang.String name)
Invoked if a setting was deleted.

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