QTfrontend/gameuiconfig.h
changeset 13633 d5e029b84e16
parent 11046 47a8c19ecb60
child 14675 56831f466d1d
--- 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();