77 |
public Dimension getSize() { return canvas.getSize(); } |
public Dimension getSize() { return canvas.getSize(); } |
78 |
|
|
79 |
|
|
80 |
public AWTScreen(GraphicsAPI api) { |
public AWTScreen(GraphicsAPI api, Object repr) { |
81 |
super(api); |
super(api, repr); |
82 |
canvas.addMouseListener(this); |
canvas.addMouseListener(this); |
83 |
canvas.addMouseMotionListener(this); |
canvas.addMouseMotionListener(this); |
84 |
canvas.setVisible(true); |
canvas.setVisible(true); |
181 |
KeyEvent ke = (KeyEvent)e; |
KeyEvent ke = (KeyEvent)e; |
182 |
String name = InputEventUtil.getKeyEventName(ke); |
String name = InputEventUtil.getKeyEventName(ke); |
183 |
if(name != null && !name.equals("")) { |
if(name != null && !name.equals("")) { |
184 |
binder.keystroke(name); |
binder.keystroke(name, repr); |
185 |
} |
} |
186 |
} else if(e instanceof MouseEvent) { |
} else if(e instanceof MouseEvent) { |
187 |
MouseEvent me = (MouseEvent) e; |
MouseEvent me = (MouseEvent) e; |
188 |
|
|
189 |
binder.mouse(me); |
binder.mouse(me, repr); |
190 |
|
|
191 |
} |
} |
192 |
} |
} |