Closed GoogleCodeExporter closed 9 years ago
Done: When the link to a T node is deleted, the node should be deleted as well.
The other changes are problematic: what if user casually removes terminal,
intending to add it back? Why should we lose the type info of the remaining
node?
We need a better solution.
Original comment by JoelVand...@gmail.com
on 5 Jul 2011 at 10:01
Original issue reported on code.google.com by
JoelVand...@gmail.com
on 27 May 2011 at 10:49