Now I have found the best solution:

Full control to the user, means all key events
produced by the user are processed but generated
ones are ignored if the system is busy.

Could it go into beta3?

Peter
Index: src/frontends/qt4/GuiWorkArea.cpp
===================================================================
--- src/frontends/qt4/GuiWorkArea.cpp   (revision 18371)
+++ src/frontends/qt4/GuiWorkArea.cpp   (working copy)
@@ -414,6 +414,15 @@
 
 void GuiWorkArea::keyPressEvent(QKeyEvent * e)
 {
+       // do nothing if there are other events
+       // (the auto repeated events come too fast)
+       if(e->isAutoRepeat() && QCoreApplication::hasPendingEvents()) {
+               LYXERR(Debug::KEY)      << BOOST_CURRENT_FUNCTION << endl
+                                                       << "key ignored" << 
endl;
+               e->ignore();
+               return;
+       }
+
        LYXERR(Debug::KEY) << BOOST_CURRENT_FUNCTION
                << " count=" << e->count()
                << " text=" << fromqstr(e->text())

Reply via email to