public abstract void processKeyEvent (KeyEvent event, MenuElement[] path, MenuSelectionManager manager)

Process a key event.

Parameters:
event    a KeyEvent to be processed
path    the path of the receiving element in the menu hierarchy
manager    the MenuSelectionManager for the menu hierarchy