Update settings.json

This commit is contained in:
lianghongkey 2019-08-23 23:05:15 +08:00 committed by GitHub
parent 9c974a7fb0
commit fb10ac62d5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -48,6 +48,8 @@
"gitlens.mode.statusBar.enabled": false, "gitlens.mode.statusBar.enabled": false,
"gitlens.statusBar.enabled": false, "gitlens.statusBar.enabled": false,
"gitlens.hovers.enabled": false, "gitlens.hovers.enabled": false,
"gitlens.codeLens.authors.enabled": false,
"gitlens.codeLens.recentChange.enabled": false,
"python.linting.mypyEnabled": true, "python.linting.mypyEnabled": true,
"python.linting.pylintEnabled": false, "python.linting.pylintEnabled": false,
"python.jediEnabled": false, "python.jediEnabled": false,