Skip to content

Change incorrect type for jsFilesExtensions setting#115

Open
nip3o wants to merge 1 commit intowix-incubator:masterfrom
nip3o:patch-1
Open

Change incorrect type for jsFilesExtensions setting#115
nip3o wants to merge 1 commit intowix-incubator:masterfrom
nip3o:patch-1

Conversation

@nip3o
Copy link
Copy Markdown

@nip3o nip3o commented Jun 10, 2020

image

The documentation of type definitions in VSCode extensions is not very clear, but it seems like an array of types means "any of these types" rather than "an array with elements of this type". VSCode at least complains to setting this setting to its default value or to an array.

The same kind of definition is also used for the experiments setting, but i guess it works out anyway there since the only allowed type is an array.

@nip3o nip3o changed the title Change incorrect type for jsFilesExtensions Change incorrect type for jsFilesExtensions setting Jun 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants