-
Notifications
You must be signed in to change notification settings - Fork 30k
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
Provide onDidChangeShell
event which is fired when default terminal profile changes
#171164
Comments
It looks like PR #160900 already added that event as proposed API. |
/duplicate #160694 |
That is where the screenshot is from in the original pic. |
What version of the vscode engine does your extension declare that it uses? |
Does VSCode have a products file internally which declares which extension gets to use the proposal? |
Python extension is planning to use environment collection API to activate Python environments for a particular shell. Environment variables to use depends on the shell itself, so when the default shell setting changes, we would like to be notified so we could prepare the new set of environment variables to use the next time terminal opens.
As a workaround we could use
onDidOpenTerminal
to detect this change with a delay, however that requires the user to relaunch the terminal once environment collection is updated.cc/ @Tyriar feel free to close this if this is a dup of #160694.
The text was updated successfully, but these errors were encountered: