commit 5c1731b060c82da96d27d9a0dfb1b3997f1903be
Author: Juergen Spitzmueller <[email protected]>
Date: Sun Feb 23 13:33:04 2014 +0100
Fix #8657 on Linux.
On windows, there is apparently some more work to do.
diff --git a/src/frontends/qt4/GuiApplication.cpp
b/src/frontends/qt4/GuiApplication.cpp
index f32c746..fc627a6 100644
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -851,8 +851,12 @@ public:
case QEvent::Show:
case QEvent::Hide:
case QEvent::Resize:
+ case QEvent::UpdateRequest:
+ case QEvent::CursorChange:
+ case QEvent::ActionChanged:
return QObject::eventFilter(obj, event);
default:
+ // FIXME Blocking all these events is a bad idea.
QKeyEvent *keyEvent = dynamic_cast<QKeyEvent*>(event);
if (keyEvent && keyEvent->key() == Qt::Key_Escape)
pressed_ = true;