(name: string, path?: string)
| 1527 | } |
| 1528 | |
| 1529 | export function whichAsync(name: string, path?: string): Promise<string | undefined> { |
| 1530 | return new Promise<string | undefined>(resolve => { |
| 1531 | which(name, path ? { path } : {}, (err, resolved) => { |
| 1532 | if (err) { |
| 1533 | resolve(undefined); |
| 1534 | } else { |
| 1535 | resolve(resolved); |
| 1536 | } |
| 1537 | }); |
| 1538 | }); |
| 1539 | } |
| 1540 | |
| 1541 | export const documentSelector: DocumentFilter[] = [ |
| 1542 | { scheme: 'file', language: 'c' }, |