2017-10-20 13:51:32 +02:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
|
{
|
|
|
|
|
"files.exclude": {
|
|
|
|
|
"out": false // set this to true to hide the "out" folder with the compiled JS files
|
|
|
|
|
},
|
|
|
|
|
"search.exclude": {
|
|
|
|
|
"out": true // set this to false to include "out" folder in search results
|
|
|
|
|
},
|
2018-05-31 16:17:33 +02:00
|
|
|
"typescript.tsdk": "./node_modules/typescript/lib", // we want to use the TS server from our node_modules folder to control its version
|
2018-11-19 12:43:10 +01:00
|
|
|
"typescript.tsc.autoDetect": "off",
|
|
|
|
|
"editor.insertSpaces": false,
|
2017-10-20 13:51:32 +02:00
|
|
|
}
|