78 |
public Dimension getSize() { return canvas.getSize(); } |
public Dimension getSize() { return canvas.getSize(); } |
79 |
|
|
80 |
|
|
81 |
public AWTScreen(GraphicsAPI api, Object repr) { |
public AWTScreen(GraphicsAPI api) { |
82 |
super(api, repr); |
super(api); |
83 |
canvas.addMouseListener(this); |
canvas.addMouseListener(this); |
84 |
canvas.addMouseMotionListener(this); |
canvas.addMouseMotionListener(this); |
85 |
canvas.setVisible(true); |
canvas.setVisible(true); |
192 |
KeyEvent ke = (KeyEvent)e; |
KeyEvent ke = (KeyEvent)e; |
193 |
String name = InputEventUtil.getKeyEventName(ke); |
String name = InputEventUtil.getKeyEventName(ke); |
194 |
if(name != null && !name.equals("")) { |
if(name != null && !name.equals("")) { |
195 |
binder.keystroke(name, repr); |
binder.keystroke(name); |
196 |
} |
} |
197 |
} else if(e instanceof MouseEvent) { |
} else if(e instanceof MouseEvent) { |
198 |
MouseEvent me = (MouseEvent) e; |
MouseEvent me = (MouseEvent) e; |
199 |
|
|
200 |
binder.mouse(me, repr); |
binder.mouse(me); |
201 |
|
|
202 |
} |
} |
203 |
} |
} |