| commit | 9cbe6a640c7cc0cd9c2c029083c942aff980b0a3 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Thu May 05 22:12:24 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Fri May 06 09:31:49 2016 +0200 |
| tree | ded48aa4adc65c0f4fef39f14e20c4ff68633b96 | |
| parent | c918c6563b24ebbd47aae5fb12eb2d25735b33c5 [diff] |
search: when polling the keyboard, consume all waiting keystrokes When during searching we look at the keyboard, then don't look at just the first keystroke, but check if there are more, and if so, check each one until we find a Cancel -- or until all keystrokes have been consumed and we can continue. This fixes the first half of https://savannah.gnu.org/bugs/?47438.