diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index aa1aa5f0b0..8e573c766d 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -1357,7 +1357,7 @@ try { closeWebsockets() vimDisposable?.dispose() - console.log('disposing editor', editor, model) + console.log('disposing editor') model?.dispose() editor && editor.dispose() console.log('disposed editor') diff --git a/frontend/src/lib/components/SimpleEditor.svelte b/frontend/src/lib/components/SimpleEditor.svelte index d3c498054d..ab08ce0f76 100644 --- a/frontend/src/lib/components/SimpleEditor.svelte +++ b/frontend/src/lib/components/SimpleEditor.svelte @@ -24,12 +24,15 @@ noLib: true, moduleResolution: languages.typescript.ModuleResolutionKind.NodeJs }) - languages.typescript.javascriptDefaults.setDiagnosticsOptions({ - noSemanticValidation: false, - noSyntaxValidation: false, - noSuggestionDiagnostics: false, - diagnosticCodesToIgnore: [1108] - }) + function setDiagnosticsOptions() { + languages.typescript.javascriptDefaults.setDiagnosticsOptions({ + noSemanticValidation: false, + noSyntaxValidation: false, + noSuggestionDiagnostics: false, + diagnosticCodesToIgnore: [1108] + }) + } + setDiagnosticsOptions() languages.json.jsonDefaults.setDiagnosticsOptions({ validate: true, allowComments: false, @@ -537,6 +540,7 @@ }) } languages.typescript.javascriptDefaults.setExtraLibs(libs) + setDiagnosticsOptions() } } diff --git a/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte b/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte index 670ebb2445..3e280e9538 100644 --- a/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte +++ b/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte @@ -1,4 +1,7 @@ + {#if inlineScript} {#if inlineScript.language != 'frontend'} { + onkeyup={() => { $app = $app if (stateId) { $stateId++