summaryrefslogtreecommitdiff
path: root/rc/tools/python
diff options
context:
space:
mode:
authorFrank LENORMAND <lenormf@gmail.com>2020-05-29 14:39:39 +0300
committerFrank LENORMAND <lenormf@gmail.com>2020-05-29 14:39:39 +0300
commitb4f2c3fe919669aca20c5cb8ee3c0b19ead42192 (patch)
tree7a41b62c0ff8c2bffb16b8af879392b1893549b5 /rc/tools/python
parentaad20f6576aefa581a1a108722c347a56935e015 (diff)
rc lint: Remove the concept of "enabling" linting
This commit renames `lint-enable` into `lint-show-diagnostics`, makes it hidden, and calls it automatically after diagnostics have been recovered by `:lint-cleaned-selections`. The `lint-disable` command becomes `lint-hide-diagnostics`. The concept of "enabling" diagnostics was inherited from the Clang support script, but in that case it's not clear why calling `:lint` should do the work but not render it (similarly to `:spell`). The `lint-show` command was also renamed into a more descriptive `lint-show-current-line`.
Diffstat (limited to 'rc/tools/python')
0 files changed, 0 insertions, 0 deletions