38 |
/** A keystroke. |
/** A keystroke. |
39 |
* @diagram screen |
* @diagram screen |
40 |
*/ |
*/ |
41 |
void keystroke(String s, Object window); |
void keystroke(String s); |
42 |
/** A mouse event. |
/** A mouse event. |
43 |
* @diagram screen |
* @diagram screen |
44 |
*/ |
*/ |
45 |
void mouse(MouseEvent e, Object window); |
void mouse(MouseEvent e); |
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(). |
53 |
* expired. |
* expired. |
54 |
*/ |
*/ |
55 |
void timeout(Object id); |
void timeout(Object id); |
56 |
|
|
57 |
/** A window has been closed by the user. |
/** A window has been closed by the user. |
58 |
*/ |
*/ |
59 |
void windowClosed(Object window); |
void windowClosed(); |
60 |
} |
} |
61 |
|
|