diff -r d998c378dac3 -r 9e49e6a8585b QTfrontend/ui/widget/qpushbuttonwithsound.h
--- a/QTfrontend/ui/widget/qpushbuttonwithsound.h	Sun Jan 15 23:54:06 2012 +0100
+++ b/QTfrontend/ui/widget/qpushbuttonwithsound.h	Mon Jan 16 00:03:13 2012 +0100
@@ -8,7 +8,7 @@
     Q_OBJECT
 public:
     explicit QPushButtonWithSound(QWidget *parent = 0);
-
+    bool isSoundEnabled;
 signals:
     
 public slots: