public void processKeyEvent(Component focusedComponent, KeyEvent e) { if (e.getID() == KeyEvent.KEY_PRESSED) { if (isComponentHookable(focusedComponent)) { KeyMapping km; int keyCode = e.getKeyCode(); if (keyCode != 0) km = new KeyMapping(keyCode, e.getModifiers(), null); else km = new KeyMapping(e.getKeyChar(), null); String keyText = km.toString(); // Escape the escape character! if (keyText.equals("\\")) keyText = "\\\\"; Editor.invokeHook("key-pressed-hook", "\"" + keyText + "\""); } } super.processKeyEvent(focusedComponent, e); }