int dos_ttraw ();
int dos_ttcooked ();
+int dos_get_saved_screen (char **, int *, int *);
+int dos_set_keyboard (int, int);
+
int getdefdir (int, char*);
void unixtodos_filename (char *);
void dostounix_filename (char *);
char *rootrelativepath (char *);
void init_environment ();
void internal_terminal_init ();
-#ifdef _stdio_h_
-int internal_flush (FILE *);
-#endif
void ctrl_break_func (_go32_dpmi_registers *);
void install_ctrl_break_check ();
extern int have_mouse;
-int mouse_init1 ();
void mouse_init ();
void mouse_on ();
void mouse_off ();
void mouse_moveto (int, int);
-void mouse_check_moved ();
-int mouse_pressed (int, int *, int *);
-int mouse_released (int, int *, int *);
\f
#ifndef HAVE_X_WINDOWS
/* Dummy types. */