version 1.2, 1994/05/31 07:26:59
|
version 1.3, 1994/07/08 15:00:48
|
Line 1
|
Line 1
|
/* 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 */ |