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

Merge pull request #502 from voideditor/model-selection

Browse source 
terminal 10s
This commit is contained in:
Andrew Pareles 2025-05-09 04:42:30 -07:00 committed by GitHub
commit 19dc26d35b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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 waitFiveSeconds = timeout(5000)
const waitTimeout = timeout(10_000)
const waitForCapability = new Promise<ITerminalCapabilityImplMap[TerminalCapability.CommandDetection]>((res) => {
disposables.push(
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()) })
return capability ?? undefined