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

Provide a way to filter the type checking results #3

Open ilevkivskyi opened 6 years ago

ilevkivskyi commented 6 years ago

Most places text shows up in PyCharm have some basic functionality, such as being able to type to filter to relevant results (see Recent Files (Cmd+E), the Project pane (Cmd+1), Find Usages, etc). The mypy error results don’t seem to support this, which can make looking for certain classes of errors (like attribute errors) difficult.

Related https://github.com/python/mypy/issues/2417