| /* Input driver header */ |
/* Input driver header */ |
| |
|
| |
#include <setjmp.h> |
| |
|
| unsigned char getkey(FILE *); |
unsigned char getkey(FILE *); |
| int key_avail(FILE *); |
long key_avail(FILE *); |
| void prep_terminal(); |
void prep_terminal(); |
| void deprep_terminal(); |
void deprep_terminal(); |
| void install_signal_handlers(void); |
void install_signal_handlers(void); |
| |
|
| |
extern jmp_buf throw_jmp_buf; |
| |
|
| #define key() getkey(stdin) |
#define key() getkey(stdin) |
| #define key_query -(!!key_avail(stdin)) /* !! FLAG(...)? - anton */ |
#define key_query -(!!key_avail(stdin)) /* !! FLAG(...)? - anton */ |
| /* flag was originally wrong -- lennart */ |
/* flag was originally wrong -- lennart */ |
