Searched refs:EVENT_KEY_PRESSED (Results 1 – 3 of 3) sorted by relevance
42 public static final String EVENT_KEY_PRESSED = "KPR"; field
153 invoke(getEventSourceName(event), EVENT_KEY_PRESSED, event); in keyPressed() local
164 … dialog.getGuiEventListener().add(TIME + (nblockincrement - 1), EventNames.EVENT_KEY_PRESSED, mi); in TopicsControl()172 dialog.getGuiEventListener().add(TOPIC + 0, EventNames.EVENT_KEY_PRESSED, mi); in TopicsControl()