[vscode] Stub for proposed API: EditSessionIdentityProvider#12508

Merged

marcdumais-work merged 2 commits intoeclipse-theia:masterfrom marcdumais-work:new-proposed-apis-1.72.2-editSessionIdentityProvider

May 10, 2023

+33-1

Commits on May 9, 2023

[vscode] Stub for proposed API: EditSessionIdentityProvider
marcdumais-work
committed

Commits on May 10, 2023

Update packages/plugin-ext/src/plugin/workspace.ts

marcdumais-work
and
vince-fugnitto
authored