Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
IS this 100% needed? I wonder if it will not cause additional issue for using remote with VS Code?
The Scala syntax extension is pretty simple, so is there a drawback to having it enabled globally?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Based on the documentation it would seem that what we want is to have
"ui"
firsthttps://code.visualstudio.com/api/advanced-topics/extension-host#preferred-extension-location says
I believe we also need
"web"
to support https://github.dev/.It seems that the default
"ui","workspace","web"
is what we need.Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
According to the document, the difference between
ui,workspace,web
andworkspace
is about the preference, not the capability. In other words, whether we want to enable this plugin for a non-Scala project by default.If we don't sure about the preference,
workspace
should be the default option, andworkspace
plugins can be on the local machine or on the remote machine or Codespace.There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The extension documentation seems to mention local vs remote workspaces, not workspaces that are language-specific.
This plugin is only enabled on
.scala
files and not per workspace. Is there a use-case where someone would not want to highlight a.scala
file with Scala highlighting?We clearly want to run this on the local machine to avoid extra network traffic for something that does not require the remote machine and can be done locally.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we should always highlight on Scala files, so especially that the extension works only on Scala files I don't think the change is needed.