unused
authorkoda
Wed, 27 Mar 2013 14:12:05 +0100
changeset 8801 c38ce9cf4c3a
parent 8799 44e520374cfc
child 8803 b3f37e7f9ff4
unused
QTfrontend/ui/mouseoverfilter.cpp
--- 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