bibliothek.gui.dock.event
Interface VetoableDockFrontendListener

All Known Implementing Classes:
VetoableDockFrontendAdapter

public interface VetoableDockFrontendListener

This listener is added to a DockFrontend. It gets informed before and after a Dockable is shown or hidden. In some cases this listener can cancel the operation.

Author:
Benjamin Sigg

Method Summary
 void hidden(VetoableDockFrontendEvent event)
          Called whenever a Dockable was hidden.
 void hiding(VetoableDockFrontendEvent event)
          Called before a Dockable is hidden.
 void showing(VetoableDockFrontendEvent event)
          Called before a Dockable is shown.
 void shown(VetoableDockFrontendEvent event)
          Called whenever a Dockable was shown.
 

Method Detail

showing

void showing(VetoableDockFrontendEvent event)
Called before a Dockable is shown. This method is only called if the user tries to open the element through the standard way, meaning that DockFrontend.show(Dockable,boolean) is called.
To abort the operation, VetoableDockFrontendEvent.cancel() can be invoked.

Parameters:
event - description of the element to close

shown

void shown(VetoableDockFrontendEvent event)
Called whenever a Dockable was shown. Other than showing(VetoableDockFrontendEvent) this method is always called.

Parameters:
event - description of the element and how it got shown

hiding

void hiding(VetoableDockFrontendEvent event)
Called before a Dockable is hidden. This method is only called if the user tries to close the element through the close-action, meaning that DockFrontend.hide(Dockable,boolean) is called.
To abort the operation, VetoableDockFrontendEvent.cancel() can be invoked.

Parameters:
event - description of the element to close

hidden

void hidden(VetoableDockFrontendEvent event)
Called whenever a Dockable was hidden. Other than hiding(VetoableDockFrontendEvent) this method is always called.

Parameters:
event - description of the element and how it got closed