hchapman / tikzedt

Automatically exported from code.google.com/p/tikzedt
9 stars 2 forks source link

auto refresh after unique-ify node names #38

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
nt

Original issue reported on code.google.com by t.willwa...@gmail.com on 6 Aug 2012 at 9:50

GoogleCodeExporter commented 9 years ago

Original comment by t.willwa...@gmail.com on 8 Dec 2012 at 7:10