Merge pull request #160900 from babakks/add-change-shell-event

Add `onDidChangeShell` event to the API
This commit is contained in:
Daniel Imms
2022-09-14 07:53:50 -07:00
committed by GitHub
5 changed files with 29 additions and 0 deletions

View File

@@ -309,6 +309,10 @@ export function createApiFactoryAndRegisterActors(accessor: ServicesAccessor): I
get shell() {
return extHostTerminalService.getDefaultShell(false);
},
get onDidChangeShell() {
checkProposedApiEnabled(extension, 'envShellEvent');
return extHostTerminalService.onDidChangeShell;
},
get isTelemetryEnabled() {
return extHostTelemetry.getTelemetryConfiguration();
},