(KeyEvent e)
| 366 | //listener for ctrl+add, ctrl+minus, ctrl+NP0 (for zooming in and out) |
| 367 | text.addKeyListener(new KeyAdapter() { |
| 368 | @Override |
| 369 | public void keyPressed(KeyEvent e) { |
| 370 | if (e.isControlDown() || e.isMetaDown()) { |
| 371 | if (e.getKeyCode() == KeyEvent.VK_ADD) { |
| 372 | setTextScale(textScale + 0.1f); |
| 373 | } else if (e.getKeyCode() == KeyEvent.VK_SUBTRACT) { |
| 374 | setTextScale(textScale - 0.1f); |
| 375 | } else if (e.getKeyCode() == KeyEvent.VK_NUMPAD0) { |
| 376 | setTextScale(1); |
| 377 | } |
| 378 | } |
| 379 | } |
| 380 | }); |
| 381 | |
| 382 | //listener for ctrl+N, ctrl+D |
nothing calls this directly
no test coverage detected