Closed RalphAS closed 1 month ago
The previous setting used mode names as language-id, which confused some instances of the language server.
FYI this has been necessary since https://github.com/julia-vscode/LanguageServer.jl/commit/64742802be13b5ffa6037879773be62826fbf186
Thanks!
The previous setting used mode names as language-id, which confused some instances of the language server.