(java.awt.event.KeyEvent event)
| 1326 | |
| 1327 | |
| 1328 | protected void nativeKeyEvent(java.awt.event.KeyEvent event) { |
| 1329 | int peAction = 0; |
| 1330 | switch (event.getID()) { |
| 1331 | case java.awt.event.KeyEvent.KEY_PRESSED: |
| 1332 | peAction = KeyEvent.PRESS; |
| 1333 | break; |
| 1334 | case java.awt.event.KeyEvent.KEY_RELEASED: |
| 1335 | peAction = KeyEvent.RELEASE; |
| 1336 | break; |
| 1337 | case java.awt.event.KeyEvent.KEY_TYPED: |
| 1338 | peAction = KeyEvent.TYPE; |
| 1339 | break; |
| 1340 | } |
| 1341 | |
| 1342 | // int peModifiers = event.getModifiersEx() & |
| 1343 | // (InputEvent.SHIFT_DOWN_MASK | |
| 1344 | // InputEvent.CTRL_DOWN_MASK | |
| 1345 | // InputEvent.META_DOWN_MASK | |
| 1346 | // InputEvent.ALT_DOWN_MASK); |
| 1347 | int peModifiers = event.getModifiers() & |
| 1348 | (InputEvent.SHIFT_MASK | |
| 1349 | InputEvent.CTRL_MASK | |
| 1350 | InputEvent.META_MASK | |
| 1351 | InputEvent.ALT_MASK); |
| 1352 | |
| 1353 | sketch.postEvent(new KeyEvent(event, event.getWhen(), |
| 1354 | peAction, peModifiers, |
| 1355 | event.getKeyChar(), event.getKeyCode())); |
| 1356 | } |
| 1357 | |
| 1358 | |
| 1359 | // listeners, for all my men! |
no test coverage detected