diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 6f196c7b8f0..4b2d3c8a557 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -287,10 +287,12 @@ async function getServer(config: Config, state: PersistentState): Promise