Open3
LSPの設定更新まわりのリクエストあれこれ
buzztaikiinitializationOptions didChangeConfiguration workspace/configuration をどう使い分けるのが正しいのかがよくわからないから、思いついたときに調べて記録していくメモ。
buzztaikiThe initialize request is sent as the first request from the client to the server.
initializationOptions?: any;
User provided initialization options
➡️ workspace/didChangeConfiguration notification
A notification sent from the client to the server to signal the change of configuration settings.
↪️ workspace/configuration reques
The workspace/configuration request is sent from the server to the client to fetch configuration settings from the client. The request can fetch several configuration settings in one roundtrip.
buzztaiki関係ありそうな issue (読んでない)。