commit | 0c7f64458fe97f51373775bb0fed01c183bac45b | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Nov 07 08:06:28 2018 +0000 |
committer | nicm <nicm> | Wed Nov 07 08:06:28 2018 +0000 |
tree | 386ab59cc02a59ef6f355b8c7b15d1870c45590a | |
parent | 7339845c01727b209b3b96e5b1d917129b2c8a83 [diff] |
If a non-repeating key is used when repeating, it should be treated as an entirely new key press, not checked in root table and ignored if not found. GitHub issue 1513.