# HG changeset patch # User Raimund Renkert # Date 1394111317 -3600 # Node ID 3841303a9158fb07d581f32eb7eee618e3728c8a # Parent 6451970e0562a4ed6f0f4b0ead3bc95584402ef1 Add the new facet to drawable facets. diff -r 6451970e0562 -r 3841303a9158 artifacts/src/main/java/org/dive4elements/river/exports/process/WDiffProcessor.java --- a/artifacts/src/main/java/org/dive4elements/river/exports/process/WDiffProcessor.java Thu Mar 06 14:07:24 2014 +0100 +++ b/artifacts/src/main/java/org/dive4elements/river/exports/process/WDiffProcessor.java Thu Mar 06 14:08:37 2014 +0100 @@ -23,7 +23,8 @@ if (facetType == null) { return false; } - return facetType.equals(FacetTypes.W_DIFFERENCES); + return facetType.equals(FacetTypes.W_DIFFERENCES) || + facetType.equals(FacetTypes.W_DIFFERENCES_FILTERED); }