38 |
/** A keystroke. |
/** A keystroke. |
39 |
* @diagram screen |
* @diagram screen |
40 |
*/ |
*/ |
41 |
void keystroke(String s); |
void keystroke(String s, Object window); |
42 |
/** A mouse event. |
/** A mouse event. |
43 |
* @diagram screen |
* @diagram screen |
44 |
*/ |
*/ |
45 |
void mouse(MouseEvent e); |
void mouse(MouseEvent e, Object window); |
46 |
|
|
47 |
/** Set the Screen this Binder is connected to. To be used |
/** Set the Screen this Binder is connected to. To be used |
48 |
* only in Screen.Screen(). |
* only in Screen.Screen(). |
49 |
*/ |
*/ |
50 |
void setScreen(Screen s) ; |
void setScreen(Screen s) ; |
51 |
|
|
52 |
/** The timeout (set separately) with the given id |
/** The timeout (set separately) with the given id |
53 |
* expired. |
* expired. |
54 |
*/ |
*/ |
55 |
void timeout(Object id); |
void timeout(Object id); |