I was looking through the issues for other devenv-y stuff, but this one stuck out as something that's made super easy by the recent GPS refactor, so: this fixes #82. Watch out: I didn't have time to actually try it out (but mypy and pylint are happy, and the code is not very complex, so there's a good chance it'll Just Work)
I was looking through the issues for other devenv-y stuff, but this one stuck out as something that's made super easy by the recent GPS refactor, so: this fixes #82. Watch out: I didn't have time to actually try it out (but
mypyandpylintare happy, and the code is not very complex, so there's a good chance it'll Just Work)