(KeyEvent e)
| 431 | } |
| 432 | |
| 433 | public void keyTyped(KeyEvent e) { |
| 434 | if (e.getSource() == pageCanvas) |
| 435 | canvasKeyTyped(e); |
| 436 | else if (e.getSource() == searchField) |
| 437 | searchFieldKeyTyped(e); |
| 438 | } |
| 439 | |
| 440 | protected void searchFieldKeyTyped(KeyEvent e) { |
| 441 | if (e.getExtendedKeyCodeForChar(e.getKeyChar()) == java.awt.event.KeyEvent.VK_ESCAPE) |
nothing calls this directly
no test coverage detected