QTfrontend/ui/mouseoverfilter.cpp
changeset 8801 c38ce9cf4c3a
parent 8732 57c10f640b60
child 9577 9577634bd284
--- a/QTfrontend/ui/mouseoverfilter.cpp	Wed Mar 27 12:56:07 2013 +0100
+++ b/QTfrontend/ui/mouseoverfilter.cpp	Wed Mar 27 14:12:05 2013 +0100
@@ -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