We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
shellStartup
1 parent e8d2670 commit 5fd21aeCopy full SHA for 5fd21ae
1 file changed
src/features/terminal/terminalManager.ts
@@ -252,6 +252,12 @@ export class TerminalManagerImpl implements TerminalManager {
252
traceInfo(
253
`"python-envs.terminal.autoActivationType" is set to "${actType}", terminal should be activated by shell startup script`,
254
);
255
+ // If the shell is already set up (shellSetup.get(...) === true) then we can safely mark it activated so
256
+ // that the UI button shows the correct Deactivate option.
257
+ let isSetup = this.shellSetup.get(shellType);
258
+ if (isSetup && isActivatableEnvironment(environment) && !this.isActivated(terminal, environment)) {
259
+ this.ta.updateActivationState(terminal, environment, true);
260
+ }
261
}
262
263
0 commit comments