Skip to content

Should use onDidChangeTerminalShellIntegration event instead of polling #537

Should use onDidChangeTerminalShellIntegration event instead of polling

Should use onDidChangeTerminalShellIntegration event instead of polling #537