Andre Poenitz wrote:
> On Thu, May 17, 2007 at 09:37:53AM +0200, Peter Kümmel wrote:
>> 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()) {
>
> Whitespace.
one hour ago:
http://www.lyx.org/trac/changeset/18380
(have a look at the log message)
>
>> + 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())
>
> I would feel more comfortable is this were restricted to scrolling,
> but I take it you extensively tested it with 'usual typing'
Currently all generated events are dropped which couldn't become
visible immediately. But could you image a scenario where this is
a problem?
>
> Andre'
>
--
Peter Kümmel
