| 99 | } |
| 100 | |
| 101 | public void keyPressed(KeyEvent e) { |
| 102 | int keyCode = e.getKeyCode(); |
| 103 | ij.IJ.setKeyDown(keyCode); |
| 104 | escapePressed = keyCode==KeyEvent.VK_ESCAPE; |
| 105 | if (keyCode==KeyEvent.VK_C) { |
| 106 | if (editorPane.getSelectedText()==null || editorPane.getSelectedText().length()==0) |
| 107 | editorPane.selectAll(); |
| 108 | editorPane.copy(); |
| 109 | editorPane.select(0,0); |
| 110 | } else if (keyCode==KeyEvent.VK_ENTER || keyCode==KeyEvent.VK_W || escapePressed) |
| 111 | dispose(); |
| 112 | } |
| 113 | |
| 114 | public void keyReleased(KeyEvent e) { |
| 115 | int keyCode = e.getKeyCode(); |