I’m wondering if it’s possible to specify a sequence of commands to run when a key is pressed.
I’m thinking something like this:
{ "keys": ";"], "commands":
{"command": "move_to", "args": {"to": "eol", "extend": false}},
{"command": "insert", "args": {"characters": ";"}}
] }