Ticket #16982: mini.patch

File mini.patch, 873 bytes (added by GerdP, 5 years ago)

  • src/org/openstreetmap/josm/data/validation/tests/MapCSSTagChecker.java

     
    694694                final Selector selector = check.whichSelectorMatchesEnvironment(env);
    695695                if (selector != null) {
    696696                    check.rule.declaration.execute(env);
    697                     if (!ignoreError) {
     697                    if (!ignoreError && !check.errors.isEmpty()) {
    698698                        final TestError error = check.getErrorForPrimitive(p, selector, env, new MapCSSTagCheckerAndRule(check.rule));
    699699                        if (error != null) {
    700700                            r.add(error);