Rev 4343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4343 | Rev 4348 | ||
|---|---|---|---|
| Line 53... | Line 53... | ||
| 53 | extern void keybuffer_free(keybuffer_t *); |
53 | extern void keybuffer_free(keybuffer_t *); |
| 54 | extern void keybuffer_init(keybuffer_t *); |
54 | extern void keybuffer_init(keybuffer_t *); |
| 55 | extern int keybuffer_available(keybuffer_t *); |
55 | extern int keybuffer_available(keybuffer_t *); |
| 56 | extern int keybuffer_empty(keybuffer_t *); |
56 | extern int keybuffer_empty(keybuffer_t *); |
| 57 | extern void keybuffer_push(keybuffer_t *, const kbd_event_t *); |
57 | extern void keybuffer_push(keybuffer_t *, const kbd_event_t *); |
| 58 | extern void keybuffer_push0(keybuffer_t *, int c); |
- | |
| 59 | extern int keybuffer_pop(keybuffer_t *, kbd_event_t *); |
58 | extern int keybuffer_pop(keybuffer_t *, kbd_event_t *); |
| 60 | 59 | ||
| 61 | #endif |
60 | #endif |
| 62 | 61 | ||
| 63 | /** |
62 | /** |