Skip to content

Should use onDidChangeTerminalShellIntegration event instead of polling #538

Should use onDidChangeTerminalShellIntegration event instead of polling

Should use onDidChangeTerminalShellIntegration event instead of polling #538