Skip to content

Commit ba392de

Browse files
committed
Add support for Pylint plugin
1 parent 2890485 commit ba392de

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

package.json

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -395,6 +395,18 @@
395395
}
396396
}
397397
},
398+
"pylint": {
399+
"title": "Pylint",
400+
"type": "object",
401+
"properties": {
402+
"enabled": {
403+
"title": "Enabled",
404+
"type": "boolean",
405+
"default": false,
406+
"description": "Enable or disable Pylint. Note that Pylint can only be run on files that have been saved to disk."
407+
}
408+
}
409+
},
398410
"rope_completion": {
399411
"title": "Rope Completion",
400412
"type": "object",

0 commit comments

Comments
 (0)