diff options
| author | Michael Davis | 2022-11-29 16:15:55 +0000 |
|---|---|---|
| committer | GitHub | 2022-11-29 16:15:55 +0000 |
| commit | 607c74efde40812caa6379a05fcb28f259ea2c8e (patch) | |
| tree | fc0eee7ed956c9e4512b5c2c3309f9252dd3a6c3 /runtime/themes | |
| parent | 260341ed801a894141db2fd4e66c7159d06b665e (diff) | |
Handle disambiguated keycodes (#4887)
Media keys are sent despite `DISAMBIGUATE_ESCAPE_CODES` being unset.
Previously we panicked on these. This change translates the
disambiguated keys from crossterm so that they do not cause a panic.
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions