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.

Sign up for GitHub

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

Jump to bottom

Raise builtins version to 1.83.0 #13066

Closed
Tracked by #13062
rschnekenbu opened this issue Nov 6, 2023 · 0 comments · Fixed by #13298
Closed
Tracked by #13062

Raise builtins version to 1.83.0 #13066

rschnekenbu opened this issue Nov 6, 2023 · 0 comments · Fixed by #13298
Labels
builtins Issues related to VS Code builtin extensions vscode issues related to VSCode compatibility
Milestone
1.46.0

Comments

@rschnekenbu
Copy link
Contributor

We need updated built-ins: even thought the official API we implement should be compatible with older built-ins, they use proposed API, with changes in random ways.

Moving to 1.83 version
@rschnekenbu rschnekenbu mentioned this issue Nov 6, 2023
Closed
8 tasks
@vince-fugnitto vince-fugnitto added vscode issues related to VSCode compatibility builtins Issues related to VS Code builtin extensions labels Nov 7, 2023
tsmaeder added a commit to tsmaeder/theia that referenced this issue Jan 21, 2024
@tsmaeder
Upgrade built-ins to 1.83.1. Fixes eclipse-theia#13066
4f155f5 
Contributed on behalof of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@tsmaeder tsmaeder mentioned this issue Jan 21, 2024
Merged
1 task
tsmaeder added a commit that referenced this issue Jan 23, 2024
@tsmaeder
Upgrade built-ins to 1.83.1. (#13298)
5e0f076 
 Fixes #13066

Contributed on behalof of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@rschnekenbu rschnekenbu mentioned this issue Jan 23, 2024
Closed
9 tasks
@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
Assignees
No one assigned
Labels
builtins Issues related to VS Code builtin extensions vscode issues related to VSCode compatibility
Projects
None yet
Milestone
1.46.0
Development

Successfully merging a pull request may close this issue.

Upgrade built-ins to 1.83.1. tsmaeder/theia
3 participants
@rschnekenbu @jfaltermeier @vince-fugnitto