Closed GoogleCodeExporter closed 8 years ago
Original comment by luciablo...@gmail.com
on 17 Dec 2009 at 3:50
added in r152
we use a toggle button (without state), because a checkbox would need to be
updated
whenever the directed/undirected option changes. Which could happen from API, by
selecting a template, and possibly more. We lack an events mechanism to achieve
that.
Original comment by silh...@gmail.com
on 17 Dec 2009 at 5:14
Original issue reported on code.google.com by
cesare.p...@gmail.com
on 17 Dec 2009 at 3:36