A modern string diagram editor for the web.
https://varkor.github.io/tangle/?c=F5A3A3,F5CCA3,F5F5A3,CCF5A3,A3F5A3,A3F5CC,A3F5F5,A3CCF5,A3A3F5,CCA3F5,F5A3F5,F5A3CC
19
stars
0
forks
source link
Deleting a tile should delete all arrows on top of it #14
Closed
varkor closed 1 year ago
It may also be more useful to delete all arrows when a tile is replaced by another (in contrast to cells).