4 commits

Author	SHA1	Message	Date
Jakub Kozłowski	d420287583	vscode: add args option to keybindings ... Also make `when` optional.	2021-02-05 22:38:37 +01:00
Robert Helgesson	22ecd0e568	vscode: fix typo	2021-02-04 23:26:00 +01:00
Nicolas Berbiche	44f9d68d8c	treewide: replace attrs by formats or types.anything	2020-11-29 21:54:55 -05:00
Christoph Herzog	1ed8e7ef98	vscode: add options for keybindings ... Adds a new `keybindings` option to the `vscode` configuration. It contains a list of key bindings, which will be written to `%vscode-dir%/User/keybindings.json`. PR #1351	2020-09-04 14:14:52 +02:00