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

[vscode] support workspace.save(URI) and workspace.saveAs(URI) introduced in 1.86.0 #13352

Closed
Tracked by #13356
rschnekenbu opened this issue Feb 6, 2024 · 0 comments · Fixed by #13393
Closed
Tracked by #13356

[vscode] support workspace.save(URI) and workspace.saveAs(URI) introduced in 1.86.0 #13352

rschnekenbu opened this issue Feb 6, 2024 · 0 comments · Fixed by #13393
Assignees
@tsmaeder
Labels
vscode issues related to VSCode compatibility
Milestone
1.47.0

Comments

@rschnekenbu
Copy link
Contributor

new API introduced on workspace namespace, save(URI) and saveAs(URI)

see https://github.com/microsoft/vscode/blob/e5447598324c57ac814c150148e7e4c830e0f9ee/src/vscode-dts/vscode.d.ts#L13298
This was referenced Feb 6, 2024
Closed
Closed
@rschnekenbu rschnekenbu added the vscode issues related to VSCode compatibility label Feb 6, 2024
@tsmaeder tsmaeder self-assigned this Feb 16, 2024
tsmaeder added a commit to tsmaeder/theia that referenced this issue Feb 16, 2024
@tsmaeder
Support workspace.save(URI) and workspace.saveAs(URI)
b2f4582 
Fixes eclipse-theia#13352

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@tsmaeder tsmaeder mentioned this issue Feb 16, 2024
Merged
1 task
tsmaeder added a commit that referenced this issue Feb 20, 2024
@tsmaeder
Support workspace.save(URI) and workspace.saveAs(URI) (#13393)
c9bbfe5 
Fixes #13352

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@jfaltermeier jfaltermeier added this to the 1.47.0 milestone Feb 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tsmaeder tsmaeder

Labels
vscode issues related to VSCode compatibility
Projects
None yet
Milestone
1.47.0
Development

Successfully merging a pull request may close this issue.

Support workspace.save(URI) and workspace.saveAs(URI) tsmaeder/theia
3 participants
@rschnekenbu @jfaltermeier @tsmaeder