diff GRAAL_AUTHORS @ 3217:064ebe531f9e

IdealGraphVisualizer: modify RemoveFilter to optionally remove all nodes that became orphans as result of the remove and add a JavaScript removeIncludeOrphans() filter function
author Peter Hofer <peter.hofer@jku.at>
date Wed, 13 Jul 2011 17:20:53 +0200
parents 70d8d239eb89
children 61369a06f03c
line wrap: on
line diff