bibliothek.gui.dock.themes.basic
Interface BasicDockableDisplayerDecoratorListener

public interface BasicDockableDisplayerDecoratorListener

This listener is added to a BasicDockableDisplayerDecorator and is informed if some properties of the decorator change.

Author:

Benjamin Sigg

Method Summary

void	moveableElementChanged(BasicDockableDisplayerDecorator decorator) Called if the result of BasicDockableDisplayerDecorator.getMoveableElement() changed.

Method Detail

moveableElementChanged

void moveableElementChanged(BasicDockableDisplayerDecorator decorator)

Called if the result of BasicDockableDisplayerDecorator.getMoveableElement() changed.

Parameters:

decorator - the source of the event