de.uni_paderborn.fujaba.fsa.listener
Interface SelectionListener

All Superinterfaces:
java.util.EventListener
All Known Implementing Classes:
ArrowMoveListener, BorderHighlighter, ForegroundHighlighter, LineBendHighlighter, SelectionManager, SelectionPropagationListener, VisibilityHighlighter

public interface SelectionListener
extends java.util.EventListener

No comment provided by developer, please add a comment to improve documentation.

Version:
$Revision: 1.8 $
Author:
$Author: lowende $

Method Summary
 void selectionChanged(SelectionEvent event)
          No comment provided by developer, please add a comment to improve documentation.
 

Method Detail

selectionChanged

public void selectionChanged(SelectionEvent event)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
event - No description provided