2 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
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