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()