Skip to content

Commit

Permalink
Change default value of preferDaemon setting (#235)
Browse files Browse the repository at this point in the history
* Change default value of preferDaemon setting

* Fix formatting

* Update package.json

Co-authored-by: Karthik Nadig <kanadig@microsoft.com>

---------

Co-authored-by: Karthik Nadig <kanadig@microsoft.com>
  • Loading branch information
luabud and karthiknadig authored Dec 13, 2023
1 parent 0619b3b commit d8d062f
Showing 1 changed file with 2 additions and 5 deletions.
7 changes: 2 additions & 5 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -133,13 +133,10 @@
"type": "array"
},
"mypy-type-checker.preferDaemon": {
"default": true,
"default": false,
"markdownDescription": "%settings.preferDaemon.description%",
"scope": "resource",
"type": "boolean",
"tags": [
"experimental"
]
"type": "boolean"
},
"mypy-type-checker.reportingScope": {
"default": "file",
Expand Down

0 comments on commit d8d062f

Please sign in to comment.