I somehow managed to get hundreds of bogus PyLint errors into the
"Problem" tab of PyDev. How do I get rid of them again?
I tried to force a re-run of PyLint on all the files by
closing and opening the project again, but that did not help.
Afterwards, I completely disabled PyLint in the preferences and
closed+opened the project, but the errors are still there.
Opening an individual file, making some irrelevant change and saving it
helps, but I don't want to do that manually for every single file.
What's the trick that I need here?
»Time flies like an arrow, fruit flies like a Banana.«
PGP fingerprint: 5B93 61F8 4EA2 E279 ABF6 02CF A9AD B7F8 AE4E 425C