From 774ab554e3af437538dda5c6c30b08578fb1c0d0 Mon Sep 17 00:00:00 2001 From: Ruidy Date: Thu, 16 Sep 2021 16:31:19 +0200 Subject: [PATCH] chore --- .vscode/settings.json | 28 +++++++++++++++------------- 1 file changed, 15 insertions(+), 13 deletions(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index 4693e97..f46ff25 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,14 +1,16 @@ { - "deno.enable": true, - "deno.unstable": true, - "deno.lint": true, - "deno.import_intellisense_origins": { - "https://deno.land": true, - }, - "[typescript]": { - "editor.defaultFormatter": "denoland.vscode-deno", - }, - "[typescriptreact]": { - "editor.defaultFormatter": "denoland.vscode-deno", - } -} \ No newline at end of file + "deno.enable": true, + "deno.unstable": true, + "deno.lint": true, + "deno.import_intellisense_origins": { + "https://deno.land": true + }, + "[typescript]": { + "editor.defaultFormatter": "denoland.vscode-deno" + }, + "[typescriptreact]": { + "editor.defaultFormatter": "denoland.vscode-deno" + }, + "spellright.language": [], + "spellright.documentTypes": ["latex", "plaintext"] +}