1 /*
2   Wio
3   Common interface to OS specific window systems
4   JBS 15 June 1994
5 */
6 
7 #ifndef _WIO_
8 
9 #define _WIO_
10 
11 #include "config.h"
12 #include "types.h"
13 
14 void more(void);
15 void init_io(void);
16 void exit_io(void);
17 void unget_ch(char);
18 char get_ch(void);
19 int char_width(char c);
20 int display_width(void);
21 void repaint(int);
22 void scrollup(void);
23 void hide_cursor(void);
24 void show_cursor(void);
25 void redraw_cursor(void);
26 
27 void pre_init_io(int *, char **);
28 
29 #endif
30