Ticket #23440: 23340.patch

File 23340.patch, 1.1 KB (added by GerdP, 19 months ago)

possible fix

  • src/org/openstreetmap/josm/data/validation/ValidationTask.java

     
    100100            this.errors.removeIf(error -> error.getSeverity().getLevel() >= Severity.OTHER.getLevel());
    101101        }
    102102
    103         if (!GraphicsEnvironment.isHeadless() && MainApplication.getMap() != null && (!beforeUpload || !errors.isEmpty())) {
     103        if (!GraphicsEnvironment.isHeadless() && MainApplication.getMap() != null) {
    104104            // update GUI on Swing EDT
    105105            GuiHelper.runInEDT(() -> {
    106106                MapFrame map = MainApplication.getMap();
     107                if (!map.validatorDialog.isShowing() && errors.isEmpty() && beforeUpload)
     108                    return;
    107109                map.validatorDialog.unfurlDialog();
    108110                map.validatorDialog.tree.setErrors(errors);
    109111                //FIXME: nicer way to find / invalidate the corresponding error layer