Implement `$/setTrace` and `$/logTrace`

ponylang / pony-language-server

Language server for Pony

MIT License

17 stars 4 forks source link

Implement `$/setTrace` and `$/logTrace` #3

Open mfelsche opened 1 week ago

mfelsche commented 1 week ago

Currently we are logging debug and error messages using window/logMessage. Additionally we could use this trace mechanism to generate an execution trace (only if requested from the client):

See

$/setTrace
$/logTrace