de.uka.ilkd.key.gui.nodeviews

Class DragNDropInstantiator.PopupListener

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.DragNDropInstantiator.PopupListener

All Implemented Interfaces:

ActionListener, EventListener

Enclosing class:

DragNDropInstantiator

private class DragNDropInstantiator.PopupListener
extends Object
implements ActionListener

This popup listener listens to the taclet app selection listener and executes the selected app if necessary

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PopupListener()

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PopupListener

private PopupListener()

Method Detail

actionPerformed

public void actionPerformed(ActionEvent e)

Specified by:

actionPerformed in interface ActionListener