dropbox / dropbox/mypy-PyCharm-plugin
Stop mypy daemon upon quitting and add buttons/hotkeys to restart it
Open
enhancement
- Dominant language
- Java
- Stars
- 319
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
Right now the only way to restart mypy daemon is to do it manually in terminal. Also the daemon stays up even when exiting PyCharm.
It would be nice to add functions to restart the daemon since you have to do that to load new config files.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.