/** * Handles key down events. Cursor keys are handled by the view the other key events are * delegated to the currently active tool. */ public void keyPressed(KeyEvent e) { int code = e.getKeyCode(); if ((code == KeyEvent.VK_BACK_SPACE) || (code == KeyEvent.VK_DELETE)) { if (deleteCmd.isExecutable()) { deleteCmd.execute(); // deleteCmd.viewSelectionChanged(this); } } else if ((code == KeyEvent.VK_DOWN) || (code == KeyEvent.VK_UP) || (code == KeyEvent.VK_RIGHT) || (code == KeyEvent.VK_LEFT)) { handleCursorKey(code); } else { tool().keyDown(e, code); } checkDamage(); }