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