一个简单的插件,允许从PyCharm运行mypy并在错误之间导航

一个简单的插件,允许从PyCharm运行mypy并在错误之间导航