Changeset 10619 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin
- Timestamp:
- 2016-07-24T00:19:35+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
r10611 r10619 5 5 import java.util.ArrayList; 6 6 import java.util.Collection; 7 import java.util.Collections;8 7 import java.util.HashMap; 9 8 import java.util.HashSet; … … 147 146 */ 148 147 protected void sort() { 149 Collections.sort( 150 availablePlugins, 151 (o1, o2) -> { 152 String n1 = o1.getName() == null ? "" : o1.getName().toLowerCase(Locale.ENGLISH); 153 String n2 = o2.getName() == null ? "" : o2.getName().toLowerCase(Locale.ENGLISH); 154 return n1.compareTo(n2); 155 } 148 availablePlugins.sort((o1, o2) -> { 149 String n1 = o1.getName() == null ? "" : o1.getName().toLowerCase(Locale.ENGLISH); 150 String n2 = o2.getName() == null ? "" : o2.getName().toLowerCase(Locale.ENGLISH); 151 return n1.compareTo(n2); 152 } 156 153 ); 157 154 }
Note:
See TracChangeset
for help on using the changeset viewer.