export const waitForWebView = (extensionUri: vscode.Uri, isProduction: boolean) => Effect.gen(function*() {
const webview = FlytrapView.getInstance(extensionUri, isProduction)._view?.webview
if (webview === undefined) {
return yield* Effect.fail(`Webview not yet initialized.`)
}
return webview
}).pipe(
Effect.repeat(Schedule.addDelay(
Schedule.recurs(15),
() => "200 millis"
))
)
export const waitForWebView = (extensionUri: vscode.Uri, isProduction: boolean) => Effect.gen(function*() {
const webview = FlytrapView.getInstance(extensionUri, isProduction)._view?.webview
if (webview === undefined) {
return yield* Effect.fail(`Webview not yet initialized.`)
}
return webview
}).pipe(
Effect.repeat(Schedule.addDelay(
Schedule.recurs(15),
() => "200 millis"
))
)