5 commits

Author	SHA1	Message	Date
Markus S. Wamser	d3f21617ac	vscode: add options to disable update checks ... Update notification popups are annoying when vscode/vscodium is managed by Home Manager. However, as these settings also require the configuration to be managed via `userSettings`, they are disabled by default.	2022-10-27 18:16:03 +02:00
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