2022-02-22 13:42:45 +03:00
|
|
|
/* Copy this file to settings.json to activate these defaults. */
|
2019-04-04 11:33:38 +03:00
|
|
|
{
|
|
|
|
"editor.tabSize": 4,
|
|
|
|
"files.exclude": {
|
|
|
|
"**/.git": true,
|
|
|
|
"dev-env/lib/*": true,
|
|
|
|
"bazel-*/*": true,
|
2021-01-07 17:32:33 +03:00
|
|
|
".bazel-cache/*": true,
|
|
|
|
"**/node_modules/*": true
|
|
|
|
},
|
|
|
|
"files.watcherExclude": {
|
|
|
|
"**/.stack-work": true,
|
|
|
|
"**/*.hi": true,
|
|
|
|
"**/*.dyn_hi": true,
|
|
|
|
"**/workspaces/*": true,
|
|
|
|
"**/.git": true,
|
|
|
|
"dev-env/lib/*": true,
|
|
|
|
"bazel-*/*": true,
|
|
|
|
".bazel-cache/*": true,
|
|
|
|
"**/node_modules/*": true
|
2019-04-04 11:33:38 +03:00
|
|
|
},
|
|
|
|
"search.exclude": {
|
|
|
|
"**/.stack-work": true,
|
|
|
|
"**/*.hi": true,
|
|
|
|
"**/*.dyn_hi": true,
|
|
|
|
"**/workspaces/*": true,
|
|
|
|
"dev-env/lib/*": true,
|
|
|
|
"bazel-*/*": true,
|
2021-01-07 17:32:33 +03:00
|
|
|
".bazel-cache": true
|
2019-04-04 11:33:38 +03:00
|
|
|
},
|
|
|
|
"[restructuredtext]": {
|
|
|
|
"editor.wordWrap": "wordWrapColumn",
|
|
|
|
"editor.wordWrapColumn": 80
|
|
|
|
},
|
|
|
|
"python.linting.pylintEnabled": false,
|
|
|
|
"diffEditor.ignoreTrimWhitespace": false,
|
|
|
|
"python.pythonPath": "${workspaceFolder}/dev-env/bin/python"
|
|
|
|
}
|