2022-10-10 20:50:21 +08:00
|
|
|
{
|
|
|
|
|
"editor.formatOnSave": true,
|
|
|
|
|
"deno.enable": true,
|
|
|
|
|
"deno.importMap": "import_map.json",
|
2022-10-28 22:17:40 +08:00
|
|
|
"deno.config": "deno.jsonc",
|
2022-11-01 22:01:10 +08:00
|
|
|
"deno.unstable": true,
|
|
|
|
|
"[markdown]": {
|
|
|
|
|
"editor.formatOnSave": false
|
2023-12-10 22:39:49 +08:00
|
|
|
},
|
|
|
|
|
"deno.documentPreloadLimit": 0
|
2022-10-10 20:50:21 +08:00
|
|
|
}
|
