Stream: General

Topic: Visual Studio Code extension


view this post on Zulip Gergely Buday (Mar 13 2023 at 10:21):

In src/Tools/VSCode/src I see only .scala files. Am I right saying that the VSCode extension is entirely implemented in Scala?

view this post on Zulip Mathias Fleury (Mar 13 2023 at 17:16):

The LSP server is purely scala. The VSCode extension is under ./src/Tools/VSCode/extension/src/ (*.ts)


Last updated: Dec 07 2024 at 16:22 UTC