Uses of Class
bibliothek.gui.DockFrontend

Packages that use DockFrontend
bibliothek.gui.dock.event   
 

Uses of DockFrontend in bibliothek.gui.dock.event
 

Methods in bibliothek.gui.dock.event with parameters of type DockFrontend
 void DockFrontendListener.deleted(DockFrontend frontend, java.lang.String name)
          Invoked if a setting was deleted.
 void DockFrontendListener.hidden(DockFrontend fronend, Dockable dockable)
          Invoked if a Dockable was made invisible through the methods of a frontend.
 void DockFrontendListener.loaded(DockFrontend frontend, java.lang.String name)
          Invoked if a new setting was loaded.
 void DockFrontendListener.saved(DockFrontend frontend, java.lang.String name)
          Invoked if the current setting was saved with the name name.
 void DockFrontendListener.showed(DockFrontend frontend, Dockable dockable)
          Invoked if a Dockable was made visible through the methods of a frontend.