Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

terminal 10s

Browse source
This commit is contained in:
Andrew Pareles 2025-05-09 04:41:52 -07:00
parent 70fe79c4fe
commit b1c17256c2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/vs/workbench/contrib/void/browser/terminalToolService.ts
View file

@ -238,7 +238,7 @@ export class TerminalToolService extends Disposable implements ITerminalToolServ
const disposables: IDisposable[] = [] const disposables: IDisposable[] = []
const waitFiveSeconds = timeout(5000) const waitTimeout = timeout(10_000)
const waitForCapability = new Promise<ITerminalCapabilityImplMap[TerminalCapability.CommandDetection]>((res) => { const waitForCapability = new Promise<ITerminalCapabilityImplMap[TerminalCapability.CommandDetection]>((res) => {
disposables.push( disposables.push(
terminal.capabilities.onDidAddCapability((e) => { terminal.capabilities.onDidAddCapability((e) => {
@ -247,7 +247,7 @@ export class TerminalToolService extends Disposable implements ITerminalToolServ
) )
}) })
const capability = await Promise.any([waitFiveSeconds, waitForCapability]) const capability = await Promise.any([waitTimeout, waitForCapability])
.finally(() => { disposables.forEach((d) => d.dispose()) }) .finally(() => { disposables.forEach((d) => d.dispose()) })
return capability ?? undefined return capability ?? undefined