Commit Graph

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