Also revealed an incorrect type def in editor.py that mypy wasn't noticing before :-(
hopefully that's the last of it