Extend VSCode extension troubleshooting section (#12154)

I’ve had to look this up for the second time today so documenting it
seems very sensible.

changelog_begin
changelog_end
This commit is contained in:
Moritz Kiefer 2021-12-15 14:56:30 +01:00 committed by GitHub
parent 149474f3cb
commit 506eee16f5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -30,6 +30,18 @@ The Daml language server log output is available under the "Output" panel
(View->Output). Select "Daml Language Server" from the dropdown in the panel
to see the log.
To see the LSP messages sent from and to the client (the vscode
extension) change your VSCode workspace settings in
`.vscode/settings.json` to the following:
```
{
"daml-language-server.trace.server": "verbose"
}
```
The logs are then included in the `Daml Language Server` logs.
## Debugging
Run `make` then open this directory in Visual Studio Code. Then click Debug ->