From d02ba5131ac52d9be9eacdea2e503e6c53646519 Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Wed, 15 Feb 2023 09:49:48 +0100 Subject: [PATCH] Export `RemoteAuthorityResolverError` to embedders --- src/vs/workbench/workbench.web.main.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/vs/workbench/workbench.web.main.ts b/src/vs/workbench/workbench.web.main.ts index d3710e7515dc6..f7c8567da5ed9 100644 --- a/src/vs/workbench/workbench.web.main.ts +++ b/src/vs/workbench/workbench.web.main.ts @@ -180,6 +180,7 @@ import { Event, Emitter } from 'vs/base/common/event'; import { Disposable } from 'vs/base/common/lifecycle'; import { GroupOrientation } from 'vs/workbench/services/editor/common/editorGroupsService'; import { UserDataSyncResourceProviderService } from 'vs/platform/userDataSync/common/userDataSyncResourceProvider'; +import { RemoteAuthorityResolverError } from 'vs/platform/remote/common/remoteAuthorityResolver'; export { @@ -193,6 +194,7 @@ export { Disposable, GroupOrientation, LogLevel, + RemoteAuthorityResolverError, // Facade API env,