()
| 9 | export const defaultTimeout: number = 100000; |
| 10 | |
| 11 | export async function activateCppExtension(): Promise<void> { |
| 12 | const extension = vscode.extensions.getExtension("ms-vscode.cpptools"); |
| 13 | if (extension && !extension.isActive) { |
| 14 | await extension.activate(); |
| 15 | } |
| 16 | } |
| 17 | |
| 18 | export function delay(ms: number): Promise<void> { |
| 19 | return new Promise<void>(resolve => setTimeout(resolve, ms)); |