mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-23 23:07:18 +00:00
22 lines
437 B
JSON
22 lines
437 B
JSON
{
|
|
"tslint.enable": true,
|
|
"tslint.configFile": "./tslint.json",
|
|
"editor.formatOnSave": true,
|
|
"files.exclude": {
|
|
"**/lib": false
|
|
},
|
|
"editor.insertSpaces": true,
|
|
"editor.detectIndentation": false,
|
|
"[typescript]": {
|
|
"editor.tabSize": 4
|
|
},
|
|
"[json]": {
|
|
"editor.tabSize": 2
|
|
},
|
|
"[jsonc]": {
|
|
"editor.tabSize": 2
|
|
},
|
|
"files.insertFinalNewline": true,
|
|
"typescript.tsdk": "node_modules/typescript/lib"
|
|
}
|