# HG changeset patch
# User koda
# Date 1364389925 -3600
# Node ID c38ce9cf4c3ab2a9ff4285e8a6bc82c9c956aff8
# Parent  44e520374cfcf619e8b1f2983780d8090df5a413
unused

diff -r 44e520374cfc -r c38ce9cf4c3a 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