de.uni_paderborn.fujaba.fsa
Interface PopupSourceListener


public interface PopupSourceListener

This interface is implemented by classes that want to be notified by the SelectionManager when then popupSource changes.

Version:
$Revision: 1.5 $
Author:
$Author: lowende $

Method Summary
 void popupSourceChanged(LogicUnparseInterface newSource)
          Called whenever the popupSource changes.
 

Method Detail

popupSourceChanged

public void popupSourceChanged(LogicUnparseInterface newSource)
Called whenever the popupSource changes.

Parameters:
newSource - No description provided