//prevents key from going to editor, if true
}
});
manager.addPropertyChangeListener(this);
MenuSelectionManager menuManager = MenuSelectionManager.defaultManager();
menuManager.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent e) {
Object o = e.getSource();
if (o instanceof MenuSelectionManager) {
MenuSelectionManager manager = (MenuSelectionManager) o;
MenuElement[] elements = manager.getSelectedPath();
if (elements.length != 0) {
MenuElement element = elements[elements.length - 1];
event.reset();
event.object = element;
event.readType = ReadType.MENU;