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