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

Modifier and Type	Method and Description
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