diff runbootstrap.sh @ 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 d577d07cedec
children 344264424174
line wrap: on
line diff