mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
39 lines
1.1 KiB
Plaintext
39 lines
1.1 KiB
Plaintext
/* Copy this file to settings.json to activate these defaults. */
|
|
{
|
|
"editor.tabSize": 4,
|
|
"files.exclude": {
|
|
"**/.git": true,
|
|
"dev-env/lib/*": true,
|
|
"bazel-*/*": true,
|
|
".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
|
|
},
|
|
"search.exclude": {
|
|
"**/.stack-work": true,
|
|
"**/*.hi": true,
|
|
"**/*.dyn_hi": true,
|
|
"**/workspaces/*": true,
|
|
"dev-env/lib/*": true,
|
|
"bazel-*/*": true,
|
|
".bazel-cache": true
|
|
},
|
|
"[restructuredtext]": {
|
|
"editor.wordWrap": "wordWrapColumn",
|
|
"editor.wordWrapColumn": 80
|
|
},
|
|
"python.linting.pylintEnabled": false,
|
|
"diffEditor.ignoreTrimWhitespace": false,
|
|
"python.pythonPath": "${workspaceFolder}/dev-env/bin/python"
|
|
}
|