50
55
bool is_playing() { return playing; }; // is a script playing?
51
56
bool is_paused() { return play_paused; }; // is a script paused?
52
57
bool is_recording() { return recording; }; // is a script being recorded?
56
61
string get_record_filename() { return rec_filename; } // file record is writing to
57
62
void set_allow_ui(bool _aui) { allow_ui = _aui; }
58
63
bool get_allow_ui() { return allow_ui; }
59
64
void set_gui_debug(bool _gdebug) { gui_debug = _gdebug; } // Should script errors be shown onscreen?
60
65
bool get_gui_debug() { return gui_debug; }