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: Nov 07 2025 at 16:23 UTC