From d9ba49fae6896b5a2f3d1ea4fd28ffcd327f2174 Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Thu, 24 Sep 2020 13:18:30 +0200 Subject: [PATCH] make enablement handler optional --- src/vs/workbench/workbench.web.api.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/workbench.web.api.ts b/src/vs/workbench/workbench.web.api.ts index 16b5f29dd36..640931217ca 100644 --- a/src/vs/workbench/workbench.web.api.ts +++ b/src/vs/workbench/workbench.web.api.ts @@ -247,7 +247,7 @@ interface ISettingsSyncOptions { /** * Handler is being called when the user changes Settings Sync enablement. */ - enablementHandler(enablement: boolean): void; + enablementHandler?(enablement: boolean): void; } interface IWorkbenchConstructionOptions {