Changeset 18211 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/projection/CustomProjectionChoice.java
- Timestamp:
- 2021-09-12T02:10:25+02:00 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/projection/CustomProjectionChoice.java
r18173 r18211 31 31 import org.openstreetmap.josm.tools.ImageProvider; 32 32 import org.openstreetmap.josm.tools.Logging; 33 import org.openstreetmap.josm.tools.Utils; 33 34 34 35 /** … … 187 188 @Override 188 189 public void setPreferences(Collection<String> args) { 189 if ( args != null && !args.isEmpty()) {190 if (!Utils.isEmpty(args)) { 190 191 pref = args.iterator().next(); 191 192 }
Note:
See TracChangeset
for help on using the changeset viewer.