2016-05-05 08:31:55 +02:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
{
|
2017-02-01 16:58:20 +01:00
|
|
|
"files.autoSave": "afterDelay",
|
2016-08-26 18:31:06 +02:00
|
|
|
"files.watcherExclude": {
|
|
|
|
"**/.git/objects/**": true,
|
|
|
|
"**/built/**": true,
|
|
|
|
"**/node_modules/**": true,
|
|
|
|
"**/yotta_modules/**": true,
|
|
|
|
"**/yotta_targets": true,
|
|
|
|
"**/pxt_modules/**": true
|
|
|
|
},
|
|
|
|
"search.exclude": {
|
|
|
|
"**/node_modules": true,
|
|
|
|
"**/yotta_modules/**": true,
|
|
|
|
"**/yotta_targets": true,
|
|
|
|
"**/pxt_modules/**": true
|
|
|
|
},
|
2016-05-05 08:31:55 +02:00
|
|
|
"tslint.enable": true,
|
2016-10-12 04:36:00 +02:00
|
|
|
"tslint.rulesDirectory": "node_modules/tslint-microsoft-contrib",
|
|
|
|
"typescript.tsdk": "./node_modules/typescript/lib"
|
2016-05-05 08:31:55 +02:00
|
|
|
}
|