Skip to content
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] support proposed API multiDocumentHighlightProvider introduced with vscode 1.85 #13232

Closed
Tracked by #13230
rschnekenbu opened this issue Jan 3, 2024 · 0 comments · Fixed by #13248
Closed
Tracked by #13230
Milestone

Comments

@rschnekenbu
Copy link
Contributor

A new proposed API has been introduced in vscode 1.85 and is used by the typescript builtin extension, with 2 new classes and an extension of the language namespace.

rschnekenbu added a commit to eclipsesource/theia that referenced this issue Jan 8, 2024
fix eclipse-theia#13232

Contributed on behalf of STMicroelectronics

Signed-off-by: Remi Schnekenburger <[email protected]>
rschnekenbu added a commit to eclipsesource/theia that referenced this issue Jan 8, 2024
fix eclipse-theia#13232

Contributed on behalf of STMicroelectronics

Signed-off-by: Remi Schnekenburger <[email protected]>
@rschnekenbu rschnekenbu changed the title [vscode] support proposed API multiDocumentHighlightProvider introduced with vscode 1.83 [vscode] support proposed API multiDocumentHighlightProvider introduced with vscode 1.85 Jan 15, 2024
rschnekenbu added a commit to eclipsesource/theia that referenced this issue Jan 15, 2024
fix eclipse-theia#13232

Contributed on behalf of STMicroelectronics

Signed-off-by: Remi Schnekenburger <[email protected]>
rschnekenbu added a commit to eclipsesource/theia that referenced this issue Jan 15, 2024
fix eclipse-theia#13232

Contributed on behalf of STMicroelectronics

Signed-off-by: Remi Schnekenburger <[email protected]>
tsmaeder pushed a commit that referenced this issue Jan 15, 2024
…r. (#13248)

fix #13232

Contributed on behalf of STMicroelectronics

Signed-off-by: Remi Schnekenburger <[email protected]>
@jfaltermeier jfaltermeier added this to the 1.46.0 milestone Jan 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants