search

dropbox / mypy-PyCharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors
Apache License 2.0
313 stars 14 forks source link

If there are only notes in mypy output, they are not shown #16

Closed ilevkivskyi closed 5 years ago

ilevkivskyi commented 6 years ago

If there are only notes in mypy daemon output, for example

note: Redundant cast to "UserId"

It is not shown in the plugin window. The cause is a shortcut for result.getErrcount() == 0. Probably we should just remove this shortcut, or count notes as well.