diff options
| author | nicm <nicm> | 2017-06-06 15:49:35 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2017-06-06 15:49:35 +0000 |
| commit | 50b27c8c0dc65cb418ed422e2cdd035a7bafedfe (patch) | |
| tree | 3e5e38744009a31ecbb77d1b5494bbd34c174950 /window-buffer.c | |
| parent | bbc35b0b19ba763c7e32185c4c12233c041b26de (diff) | |
Continue and pass keys through if they are repeated keys, so that the
first key after a repeated key doesn't get lost.
Diffstat (limited to 'window-buffer.c')
0 files changed, 0 insertions, 0 deletions