Closed GoogleCodeExporter closed 9 years ago
Try to undo and redo. Yep, it's because every time a graph is loaded, the vertices get different ids, and so there is no way to tell graph states apart.
Original issue reported on code.google.com by 0x24a53...@gmail.com on 15 Aug 2010 at 3:27
0x24a53...@gmail.com
Original comment by 0x24a53...@gmail.com on 15 Aug 2010 at 4:23
Original issue reported on code.google.com by
0x24a53...@gmail.com
on 15 Aug 2010 at 3:27