replace repaint that was carelessly removed

This commit is contained in:
Tom Nelson 2020-12-16 20:42:24 +00:00
parent 424af11a16
commit 8adc49d34c

View file

@ -823,6 +823,7 @@ public class DefaultGraphDisplay implements GraphDisplay {
viewer.getRenderContext()
.setVertexIncludePredicate(
v -> v.getAttributeMap().values().stream().noneMatch(selected::contains));
viewer.repaint();
});