1 /*
2   File
3   Save and restore positions and handle scripting
4   JBS 15 June 1994
5 */
6 
7 #ifndef _FILE_
8 
9 #define _FILE_
10 
11 #include "types.h"
12 
13 extern bool game_saved;
14 
15 void save_game(void);
16 void restore_game(void);
17 void init_script(void);
18 bool open_script(void);
19 void close_script(void);
20 void script_char(word);
21 
22 #endif
23