[InInteraction]

Not from the source code, but JSXGraph (https://jsxgraph.uni-bayreuth.de/wp/index.html) is a great tool for this kind of diagrams.