2019-06-11 17:20:12 +02:00
|
|
|
{
|
|
|
|
|
"typescript.format.enable": false,
|
|
|
|
|
"typescript.reportStyleChecksAsWarnings": false,
|
|
|
|
|
"typescript.validate.enable": false,
|
|
|
|
|
"javascript.validate.enable": false,
|
2019-08-20 20:07:12 +02:00
|
|
|
"editor.formatOnSave": false,
|
2019-10-13 19:16:35 +02:00
|
|
|
"editor.snippetSuggestions": "top"
|
2019-06-11 17:20:12 +02:00
|
|
|
}
|
