[Pydev-users] Pylint no longer called

Hello, For some reason, PyDev has just stopped calling PyLint on my system. When I saved the last file I was working on, PyLint was still being called. Then I saved it again, and PyLint was no longer being called. I did not do any changes on my system between the two saves. I tried closing and

Re: [Pydev-users] Pylint no longer called

On Tue, Oct 26, 2010 at 4:02 PM, Nikolaus Rath nikol...@rath.org wrote: Hello, For some reason, PyDev has just stopped calling PyLint on my system. When I saved the last file I was working on, PyLint was still being called. Then I saved it again, and PyLint was no longer being called. I did