public class KahinaSatInstanceGraphViewListener extends KahinaGraphViewListener
view
Constructor and Description |
---|
KahinaSatInstanceGraphViewListener(KahinaSatInstanceGraphViewPanel view) |
Modifier and Type | Method and Description |
---|---|
protected void |
maybeShowPopup(java.awt.event.MouseEvent e) |
protected void |
processExtensionCommand(java.lang.String command) |
actionPerformed, mousePressed, mouseReleased
public KahinaSatInstanceGraphViewListener(KahinaSatInstanceGraphViewPanel view)
protected void maybeShowPopup(java.awt.event.MouseEvent e)
maybeShowPopup
in class KahinaGraphViewListener
protected void processExtensionCommand(java.lang.String command)
processExtensionCommand
in class KahinaGraphViewListener