Skip to content

Add name for linter provider#34

Open
Arcanemagus wants to merge 1 commit intoOmniSharp:masterfrom
Arcanemagus:add-linter-name
Open

Add name for linter provider#34
Arcanemagus wants to merge 1 commit intoOmniSharp:masterfrom
Arcanemagus:add-linter-name

Conversation

@Arcanemagus
Copy link
Copy Markdown

Define a name of 'json-schema' for the Linter provider so messages from it can be identified.

Note that the fact that this was giving an error was a bug in Linter (steelbrain/linter#1371), but having it defined is a requirement for Linter v2, and is nice for the user anyway 😉.

Fixes #33.

Define a name of 'json-schema' for the Linter provider so messages from
it can be identified.
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.

1 participant