1 /* CONSOLE INTERFACE */
12 extern int console_ok
;
14 extern void c_init(int w
,int h
);
15 extern void c_shutdown(void);
16 extern void c_cls(void);
17 extern void c_print(char *text
);
18 extern void c_print_l(char *text
, int len
);
19 extern void c_putc(char c
);
20 extern void c_goto(int x
, int y
);
21 extern void c_clear(int x1
,int y1
,int x2
, int y2
);
22 extern void c_cursor(int c
);
23 extern void c_bell(void);
24 extern void c_setcolor(unsigned char a
);
25 extern void c_setcolor_bg(unsigned char fg
,unsigned char bg
);
26 extern void c_setcolor_3b(unsigned char a
);
27 extern void c_setcolor_3b_bg(unsigned char fg
,unsigned char bg
);
28 extern void c_sethlt(unsigned char a
);
29 extern void c_sethlt_bg(unsigned char hlt
,unsigned char bg
);
30 extern void c_setbgcolor(unsigned char a
);
31 extern void c_refresh(void);
32 extern void c_get_size(int *x
,int *y
);
33 extern int c_pressed(int k
);
34 extern int c_was_pressed(int k
);
35 extern void c_wait_for_key(void);
36 extern void c_update_kbd(void);