-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[vscode] semantic highlighting support #8593
Conversation
1078bba
to
d0cd9c7
Compare
It's turned out that it is required Monaco 0.21.0. Monaco 0.20.0 is not complete. I've patched the theming standalone service for now with fixed from 0.21.0. We should remove the patch after next migration. |
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.
LGTM.
Thank you! |
The F# Ionide Extension uses this feature if you want to test it. @kittaakos |
So does the Java extension
… Am 07.10.2020 um 23:03 schrieb dunnry ***@***.***>:
The F# Ionide Extension uses this feature if you want to test it. @kittaakos
—
You are receiving this because your review was requested.
Reply to this email directly, view it on GitHub, or unsubscribe.
|
I believe the CQ has now been successfully approved 👍 |
Could someone help with rebasing and merging it? |
d0cd9c7
to
c1a344c
Compare
I just wonder are we allowed to use the code in an Eclipse repo if the related CQ is still in |
We only need |
@azatsarynnyy I know in the past we proceeded to merge pull-requests when they granted permission, namely the following:
I believe at this point they will continue to verify the content ( |
Thanks @vince-fugnitto for the explanation! |
@akosyakov do we want to merge for today's release? |
@vince-fugnitto merge when it suites you |
Signed-off-by: Anton Kosyakov <[email protected]>
Signed-off-by: Anton Kosyakov <[email protected]>
c1a344c
to
91c1de9
Compare
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 reviewed the changes and they work well 👍
I'll merge and if there are issues we have the month to resolve any of them.
What it does
How to test
Review checklist
Reminder for reviewers