()
| 207 | * For those, a timeout is given |
| 208 | */ |
| 209 | export async function waitForTabChange(): Promise<void> { |
| 210 | await new Promise((resolve, reject) => { |
| 211 | setTimeout(resolve, 500); |
| 212 | |
| 213 | const subscription = vscode.window.onDidChangeActiveTextEditor((textEditor) => { |
| 214 | subscription.dispose(); |
| 215 | |
| 216 | resolve(textEditor); |
| 217 | }); |
| 218 | }); |
| 219 | } |
| 220 | |
| 221 | export async function replaceContent( |
| 222 | document: vscode.TextDocument, |