After an object is modified, remove the TikZ code box.
bbarwick opened this issue · comments
When an object is edited, remove the TikZ code box (if the user has pressed it) so that they need to press it again to generate the TikZ code for the new object. This also goes for the output of all tests/invariants.
Fixed in pull request #153