Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- [
- { "keys": ["super+shift+ctrl+d"], "command": "duplicate_line" },
- { "keys": ["super+shift+d"], "command": "duplicate_line_selector" },
- { "keys": ["super+alt+up"], "command": "select_lines", "args": {"forward": false} },
- { "keys": ["super+alt+down"], "command": "select_lines", "args": {"forward": true} }
- ]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement