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

Two more fixes #23

Closed ilevkivskyi closed 5 years ago

ilevkivskyi commented 5 years ago

Fixes #4

This re-generates all markers in a document and adds little notification on type checking if it took more than 15 second.