boolean sound_enabled;
boolean sound_deactivated; /* for temporarily disabling sound */
- void (*func_reload_sounds)(void);
- void (*func_reload_music)(void);
-
int soundserver_pipe[2];
int soundserver_pid;
char *device_name;
inline void OpenAudio(void);
inline void CloseAudio(void);
inline void SetAudioMode(boolean);
+#if 0
inline void SetAudioReloadFunctions(void (*func_reload_sounds)(void),
void (*func_reload_music)(void));
+#endif
inline void InitEventFilter(EventFilter);
inline boolean PendingEvent(void);