de.uka.ilkd.key.gui.nodeviews

Class TacletMenu.MenuControl

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.TacletMenu.MenuControl

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener

Enclosing class:

TacletMenu

class TacletMenu.MenuControl
extends java.lang.Object
implements java.awt.event.ActionListener

ActionListener

Constructor Summary

Constructors

Constructor and Description
MenuControl()

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
private boolean	validabbreviation(java.lang.String s)

Methods inherited from class java.lang.Object

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

Constructor Detail

MenuControl

MenuControl()

Method Detail

validabbreviation

private boolean validabbreviation(java.lang.String s)

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener