Uses of Class
bibliothek.gui.DockFrontend

Packages that use DockFrontend
bibliothek.gui.dock.event Listeners, adapters and events used in the whole framework.
A Listener is added to some object that needs to be observed, the Listener will be informed whenever the observed object changes. An Adapter is an implementation of a Listener, but the methods of an Adapter are empty. An Event is an object carrying information from an observed object to a Listener.  
 

Uses of DockFrontend in bibliothek.gui.dock.event
 

Methods in bibliothek.gui.dock.event with parameters of type DockFrontend
 void DockFrontendAdapter.added(DockFrontend frontend, Dockable dockable)
           
 void DockFrontendListener.added(DockFrontend frontend, Dockable dockable)
          Informs this listener that an additional dockable has been added to the list of known Dockables of frontend.
 void DockFrontendAdapter.deleted(DockFrontend frontend, String name)
           
 void DockFrontendListener.deleted(DockFrontend frontend, String name)
          Invoked if a setting was deleted.
 void DockFrontendAdapter.hidden(DockFrontend fronend, Dockable dockable)
           
 void DockFrontendListener.hidden(DockFrontend frontend, Dockable dockable)
          Invoked if a Dockable was made invisible.
 void DockFrontendAdapter.hideable(DockFrontend frontend, Dockable dockable, boolean hideable)
           
 void DockFrontendListener.hideable(DockFrontend frontend, Dockable dockable, boolean hideable)
          Called when the hideable-state of dockable changes.
 void DockFrontendAdapter.loaded(DockFrontend frontend, String name)
           
 void DockFrontendListener.loaded(DockFrontend frontend, String name)
          Invoked if a new setting was loaded.
 void DockFrontendAdapter.read(DockFrontend frontend, String name)
           
 void DockFrontendListener.read(DockFrontend frontend, String name)
          Called when a setting was read.
 void DockFrontendAdapter.removed(DockFrontend frontend, Dockable dockable)
           
 void DockFrontendListener.removed(DockFrontend frontend, Dockable dockable)
          Informs this listener that dockable has been removed from the list of known Dockables of frontend.
 void DockFrontendAdapter.saved(DockFrontend frontend, String name)
           
 void DockFrontendListener.saved(DockFrontend frontend, String name)
          Invoked if the current setting was saved with the name name.
 void DockFrontendAdapter.shown(DockFrontend frontend, Dockable dockable)
           
 void DockFrontendListener.shown(DockFrontend frontend, Dockable dockable)
          Invoked if a Dockable was made visible.