Development notes

Notes for developers of this extension.

Working on this package

Install dependencies:

npm install

Download resources (language server and analyzers):

node scripts/prepare.mjs

Press F5 to launch a new VSCode instance with the extension installed.

Open Problems panel with control shift m (or search for "Problems" with F1).

Verify package.json content, especially version.

Verify the package versions to download in scripts/prepare.mjs.

TODO