1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-30 06:59:45 +01:00

vscode: allow argument for keybind to any json value (#2418)

This commit is contained in:
Nicolas Berbiche 2021-10-28 00:13:54 -04:00 committed by GitHub
parent 9282dbc1fa
commit 158bc59398
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -86,7 +86,7 @@ in {
# https://code.visualstudio.com/docs/getstarted/keybindings#_command-arguments # https://code.visualstudio.com/docs/getstarted/keybindings#_command-arguments
args = mkOption { args = mkOption {
type = types.nullOr (types.attrs); type = types.nullOr (jsonFormat.type);
default = null; default = null;
example = { direction = "up"; }; example = { direction = "up"; };
description = "Optional arguments for a command."; description = "Optional arguments for a command.";