12 #ifndef __MISSIONHOTKEY_H__
13 #define __MISSIONHOTKEY_H__
void mission_hotkey_maybe_save_sets()
void mission_hotkey_validate()
void mission_hotkey_reset_saved()
void mission_hotkey_do_frame(float frametime)
void mission_hotkey_set_defaults()
void mission_hotkey_exit()
void mission_hotkey_init()
void mission_hotkey_mf_add(int set, int objnum, int how_to_add)
int mission_hotkey_get_set_num(int k)
void mission_hotkey_close()