diff -r 605767bbd022 -r d5e029b84e16 QTfrontend/gameuiconfig.h
--- a/QTfrontend/gameuiconfig.h	Tue Aug 07 10:29:01 2018 +0200
+++ b/QTfrontend/gameuiconfig.h	Tue Aug 07 11:37:37 2018 +0200
@@ -47,6 +47,7 @@
         QString language();
         bool isMusicEnabled();
         bool isFrontendMusicEnabled();
+        bool isAudioDampenEnabled();
         bool isShowFPSEnabled();
         bool isAltDamageEnabled();
         bool appendDateTimeToRecordName();