bibliothek.gui.dock.event
Interface SplitDockListener


public interface SplitDockListener

A listener which is added to a SplitDockStation. The listener is informed when the fullscreen-property is changed.

Author:
Benjamin Sigg

Method Summary
 void fullScreenDockableChanged(SplitDockStation station, Dockable oldFullScreen, Dockable newFullScreen)
          Invoked when a new Dockable was made fullscreen, or no Dockable at all is fullscreen.
 

Method Detail

fullScreenDockableChanged

void fullScreenDockableChanged(SplitDockStation station,
                               Dockable oldFullScreen,
                               Dockable newFullScreen)
Invoked when a new Dockable was made fullscreen, or no Dockable at all is fullscreen.

Parameters:
station - the station on which the event happend
oldFullScreen - the Dockable that was fullscreen, may be null
newFullScreen - the Dockable which is now fullscreen, may be null
See Also:
SplitDockStation.setFullScreen(Dockable), SplitDockStation.getFullScreen()