Clear sound GUI status when paused.

diff --git a/od-win32/sounddep/sound.cpp b/od-win32/sounddep/sound.cpp
index d9ca02ab2a6a8c636fd301341c6e2b12a835af3d..caf40d2c2e7cb7a2e39499ce4f632fa14759f1f3 100644 (file)
--- a/od-win32/sounddep/sound.cpp
+++ b/od-win32/sounddep/sound.cpp
@@ -1524,6 +1524,8 @@ void close_sound_device (struct sound_data *sd)
 void pause_sound_device (struct sound_data *sd)
 {
        sd->paused = 1;
+       gui_data.sndbuf_status = 0;
+       gui_data.sndbuf = 0;
        if (sd->devicetype == SOUND_DEVICE_AL)
                pause_audio_al (sd);
        else if (sd->devicetype == SOUND_DEVICE_DS)
@@ -1619,6 +1621,11 @@ void close_sound (void)
        extrasndbuf = NULL;
 }
 
+bool sound_paused(void)
+{
+       return sdp->paused;
+}
+
 void pause_sound (void)
 {
        if (sdp->paused)

diff --git a/od-win32/sounddep/sound.h b/od-win32/sounddep/sound.h
index f62ae1f5521652b3429d07640ed5fb99dfdc55a6..4f3cc8ae5902c65ed440bc5fb3aaf268015c1d60 100644 (file)
--- a/od-win32/sounddep/sound.h
+++ b/od-win32/sounddep/sound.h
@@ -20,6 +20,7 @@ extern int setup_sound (void);
 extern void resume_sound (void);
 extern void pause_sound (void);
 extern void reset_sound (void);
+extern bool sound_paused (void);
 extern void sound_setadjust (double);
 extern int enumerate_sound_devices (void);
 extern int drivesound_init (void);