207 |
if(e instanceof KeyEvent) { |
if(e instanceof KeyEvent) { |
208 |
KeyEvent ke = (KeyEvent)e; |
KeyEvent ke = (KeyEvent)e; |
209 |
String name = InputEventUtil.getKeyEventName(ke); |
String name = InputEventUtil.getKeyEventName(ke); |
210 |
|
if(dbg) pa("ZZProcessEvent keyname: "+name); |
211 |
if(name != null && !name.equals("")) { |
if(name != null && !name.equals("")) { |
212 |
binder.keystroke(name); |
binder.keystroke(name); |
213 |
} |
} |
244 |
super(); |
super(); |
245 |
enableEvents(AWTEvent.KEY_EVENT_MASK); |
enableEvents(AWTEvent.KEY_EVENT_MASK); |
246 |
} |
} |
247 |
|
private KeyEvent lastEvent; |
248 |
public void processKeyEvent(KeyEvent e) { |
public void processKeyEvent(KeyEvent e) { |
249 |
|
if(dbg) pa("AWTScreen received: " + e); |
250 |
|
if(e == lastEvent) throw new Error("Re-used event object: "+e); |
251 |
|
lastEvent = e; |
252 |
JUpdateManager.addEvent(AWTScreen.this, e); |
JUpdateManager.addEvent(AWTScreen.this, e); |
253 |
} |
} |
254 |
public boolean isFocusTraversable() { return true; } |
public boolean isFocusTraversable() { return true; } |