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);
}
