blob: 6722804f86a79b066dcd6789c8f74f7e2aba6b86 (
plain) (
tree)
|
|
[
{ "keys": ["f5"], "command": "revert" },
{ "keys": ["alt+shift+up"], "command": "select_lines", "args": {"forward": false} },
{ "keys": ["alt+shift+down"], "command": "select_lines", "args": {"forward": true} },
]
|