public static interface KeyPressedManager.KeyPressedReceiver
| Modifier and Type | Method and Description |
|---|---|
void |
handleKeyPressed(KeyPressedManager.KeyPressedReceiver origin,
int mask,
boolean doubleClick,
gnu.trove.set.TIntSet pressedKeys) |
void handleKeyPressed(KeyPressedManager.KeyPressedReceiver origin, int mask, boolean doubleClick, gnu.trove.set.TIntSet pressedKeys)
Copyright © 2015–2022 SciJava. All rights reserved.