We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
shellStartup
1 parent bf8f5ec commit 9ae8e83Copy full SHA for 9ae8e83
1 file changed
src/features/terminal/terminalManager.ts
@@ -268,6 +268,12 @@ export class TerminalManagerImpl implements TerminalManager {
268
traceInfo(
269
`"python-envs.terminal.autoActivationType" is set to "${actType}", terminal should be activated by shell startup script`,
270
);
271
+ // If the shell is already set up (shellSetup.get(...) === true) then we can safely mark it activated so
272
+ // that the UI button shows the correct Deactivate option.
273
+ let isSetup = this.shellSetup.get(shellType);
274
+ if (isSetup && isActivatableEnvironment(environment) && !this.isActivated(terminal, environment)) {
275
+ this.ta.updateActivationState(terminal, environment, true);
276
+ }
277
}
278
279
0 commit comments