Move AEGs from draw mode to proof mode
Closed this issue · 2 comments
James-Oswald commented
Move AEGs from draw mode to proof mode
AnushaTiwari5 commented
Show graph string of selected node on the sub bar, add button to allow for pasting + moving of the copied node in proof mode (this would make it easier to set up insertion)