aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
authorLucy2022-08-31 01:44:06 +0000
committerGitHub2022-08-31 01:44:06 +0000
commit404db2ebee477a9bfdb76e89ebf48adac9c1a57c (patch)
treeb59b338608c1c7ee0cb9626f410f08a5828ece8e /runtime/queries/lean
parent78189dd9c1aecd1760cc1baf6e2e81d8abbca48c (diff)
Move mode transition logic to handle_keymap_event() (#2634)
Co-authored-by: Blaž Hrastnik <blaz@mxxn.io> Co-authored-by: Blaž Hrastnik <blaz@mxxn.io>
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions