[
	{ "keys": ["ctrl+1"], "command": "indent" },
	{ "keys": ["ctrl+2"], "command": "unindent" },
	{ "keys": ["ctrl+3"], "command": "toggle_comment", "args": { "block": false } },
	{ "keys": ["ctrl+4"], "command": "toggle_comment", "args": { "block": true } },
	{ "keys": ["ctrl+5"], "command": "join_lines" },
	{ "keys": ["ctrl+6"], "command": "duplicate_line" }

]