Add the configuration options used by the plugin

dragos / dragos-vscode-scala

Other

253 stars 39 forks source link

Add the configuration options used by the plugin #89

Open marmistrz opened 6 years ago

marmistrz commented 6 years ago

Before that change, VS Code would complain about unknown configuration options if those options were added to settings.json.

This is properly recognized by VS Code. The CI failure seems unrelated.

dragos commented 6 years ago

This was supposedly done already in #71 but I have no idea what happened to that commit. I can't find it in git history, even though the PR was merged. :-/

marmistrz commented 6 years ago

For some reason today the ensime language server refused to start when using this package.json with the current release, so remerging your change may be a better idea.