diff -r 605767bbd022 -r d5e029b84e16 QTfrontend/ui/page/pageoptions.h
--- a/QTfrontend/ui/page/pageoptions.h	Tue Aug 07 10:29:01 2018 +0200
+++ b/QTfrontend/ui/page/pageoptions.h	Tue Aug 07 11:37:37 2018 +0200
@@ -84,6 +84,7 @@
         QCheckBox *CBFrontendMusic;
         QCheckBox *CBSound;
         QCheckBox *CBMusic;
+        QCheckBox *CBDampenAudio;
         QCheckBox *CBFullscreen;
         QCheckBox *CBFrontendFullscreen;
         QCheckBox *CBShowFPS;