diff -r 6e3308fc2a1d -r 0bdeea9d388e QTfrontend/ui/mouseoverfilter.cpp
--- a/QTfrontend/ui/mouseoverfilter.cpp	Thu Apr 04 14:01:54 2013 +0400
+++ b/QTfrontend/ui/mouseoverfilter.cpp	Thu Apr 04 18:47:09 2013 +0200
@@ -35,7 +35,6 @@
     }
     else if (event->type() == QEvent::FocusIn)
     {
-        QWidget * widget = dynamic_cast<QWidget*>(dist);
         abstractpage = qobject_cast<AbstractPage*>(ui->Pages->currentWidget());
 
         // play a sound when mouse hovers certain ui elements