| … | … | ||
|---|---|---|---|
| 22 | def (REFRESH_BEGIN) | 22 | def (REFRESH_BEGIN) |
| 23 | def (REFRESH_END) | 23 | def (REFRESH_END) |
| 24 | 24 | ||
| 25 | def (KEYBOARD_COMMAND) | 25 | def (KEYBOARD_COMMAND) |
| 26 | 26 | ||
| 27 | def (X_EVENT) | ||
| 27 | def (FOCUS_IN) | 28 | def (FOCUS_IN) |
| 28 | def (FOCUS_OUT) | 29 | def (FOCUS_OUT) |
| 29 | def (KEY_PRESS) | 30 | def (KEY_PRESS) |
| 30 | def (KEY_RELEASE) | 31 | def (KEY_RELEASE) |
| 31 | def (BUTTON_PRESS) | 32 | def (BUTTON_PRESS) |
| 32 | def (BUTTON_RELEASE) | 33 | def (BUTTON_RELEASE) |
| 33 | def (MOTION_NOTIFY) | 34 | def (MOTION_NOTIFY) |
| 34 | def (MAP_NOTIFY) | 35 | def (MAP_NOTIFY) |
| 35 | def (UNMAP_NOTIFY) | 36 | def (UNMAP_NOTIFY) |
| 36 | def (ON_CUSTOM_REND) // hovering over custom rendition, generate enter/leave maybe? | 37 | def (CUSTOM_REND) // hovering over custom rendition, generate enter/leave maybe? |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |