[
	{ "keys": ["f10"], "command": "toggle_menu" },
	{ "keys": ["ctrl+space"], "command": "toggle_comment", "args": { "block": false } },
	{ "keys": ["ctrl+shift+space"], "command": "toggle_comment", "args": { "block": true } }
]