commit | a864a2576a38bb07009252533721629fdaa23257 | [log] [tgz] |
---|---|---|
author | gkarasiu <gkarasiu> | Thu Feb 12 18:59:27 2009 +0000 |
committer | gkarasiu <gkarasiu> | Thu Feb 12 18:59:27 2009 +0000 |
tree | 6863d4e5d959aafd8a76e1631a6531fa4ffea59e | |
parent | bbdef53b4fd28f03caf0d56ead72d06cd507a28c [diff] |
[264471] Changes to validator's filter settings don't get persisted
diff --git a/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/ValidatorMutable.java b/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/ValidatorMutable.java index 324628f..d18b0c5 100644 --- a/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/ValidatorMutable.java +++ b/plugins/org.eclipse.wst.validation/vf2/org/eclipse/wst/validation/internal/ValidatorMutable.java
@@ -165,7 +165,10 @@ public void replaceFilterGroup(FilterGroup existing, FilterGroup merged) { int i = find(existing); if (i == -1)add(merged); // this should never happen - else _groups[i] = merged; + else { + _groups[i] = merged; + bumpChangeCountGroups(); + } } public void remove(FilterGroup group) {