This PR was never merged before the repo migration: https://github.com/BruceSherwood/vpython-jupyter/pull/134 I think it would still be useful.
This PR was never merged before the repo migration: BruceSherwood/vpython-jupyter#134
I think it would still be useful.