author | koda |
Wed, 27 Mar 2013 14:12:05 +0100 | |
changeset 8801 | c38ce9cf4c3a |
parent 8799 | 44e520374cfc |
child 8803 | b3f37e7f9ff4 |
--- 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