Rev 3905 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3905 | Rev 4236 | ||
---|---|---|---|
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 | /** |