-
Benno Schulenberg authored
When the keyboard buffer is empty, return a value that is not equivalent to <Ctrl+Space>, so that typing a bunch of these while searching is going on will not result in some of them getting executed afterward.
d4304ca8
When the keyboard buffer is empty, return a value that is not equivalent to <Ctrl+Space>, so that typing a bunch of these while searching is going on will not result in some of them getting executed afterward.