Changeset 18850 in josm
- Timestamp:
- 2023-10-03T17:30:44+02:00 (16 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/validation/ValidationTask.java
r18825 r18850 94 94 if (canceled) return; 95 95 96 if (!GraphicsEnvironment.isHeadless() && MainApplication.getMap() != null) { 96 // Remove any low severity issues if they are not desired. 97 if (!(Boolean.TRUE.equals(ValidatorPrefHelper.PREF_OTHER.get()) && 98 (!this.beforeUpload || Boolean.TRUE.equals(ValidatorPrefHelper.PREF_OTHER_UPLOAD.get())))) { 99 // Use >= just in case we add additional levels. 100 this.errors.removeIf(error -> error.getSeverity().getLevel() >= Severity.OTHER.getLevel()); 101 } 102 103 if (!GraphicsEnvironment.isHeadless() && MainApplication.getMap() != null && (!beforeUpload || !errors.isEmpty())) { 97 104 // update GUI on Swing EDT 98 105 GuiHelper.runInEDT(() -> { … … 108 115 } 109 116 if (this.onFinish != null) { 110 // Remove any low severity issues if they are not desired.111 if (!(Boolean.TRUE.equals(ValidatorPrefHelper.PREF_OTHER.get()) &&112 (!this.beforeUpload || Boolean.TRUE.equals(ValidatorPrefHelper.PREF_OTHER_UPLOAD.get())))) {113 // Use >= just in case we add additional levels.114 this.errors.removeIf(error -> error.getSeverity().getLevel() >= Severity.OTHER.getLevel());115 }116 117 this.onFinish.accept(this.errors); 117 118 }
Note:
See TracChangeset
for help on using the changeset viewer.