--- a/QTfrontend/ui/widget/qpushbuttonwithsound.h	Tue Jan 17 23:36:15 2012 +0100
+++ b/QTfrontend/ui/widget/qpushbuttonwithsound.h	Tue Jan 17 23:42:30 2012 +0100
@@ -8,7 +8,7 @@
     Q_OBJECT
 public:
     explicit QPushButtonWithSound(QWidget *parent = 0);
-
+    bool isSoundEnabled;
 signals:
     
 public slots: