fix: respect user-configured terminal integration timeout (#3886)

This commit is contained in:
KJ7LNW 2025-05-22 22:34:33 -07:00 committed by GitHub
parent d149d65e14
commit 82701584ae
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -170,7 +170,7 @@ export abstract class BaseTerminal implements RooTerminal {
}
public static getShellIntegrationTimeout(): number {
return Math.min(BaseTerminal.shellIntegrationTimeout, BaseTerminal.defaultShellIntegrationTimeout)
return BaseTerminal.shellIntegrationTimeout
}
public static setShellIntegrationDisabled(disabled: boolean): void {