Matthias Radestock 9dca7627b6 filter unconnected nodes after applying user-specified filters ...

...rather than before. That way, nodes which become unconnected during
filtering are removed, which is what we want. ATM we are depending on
some 'unconnected' filtering inside every filter, which is expensive
and largely redundant. We should soon be able to remove that.

downside: 'unconnected' filtering is no longer memoised.

2017-11-28 06:54:15 +00:00

18 KiB

Raw Permalink Blame History

View Raw