Changeset 16438 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginUpdatePolicyPanel.java
- Timestamp:
- 2020-05-17T14:18:22+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginUpdatePolicyPanel.java
r13064 r16438 8 8 import java.awt.GridBagLayout; 9 9 import java.awt.Insets; 10 import java.util.Arrays; 10 11 import java.util.EnumMap; 11 12 import java.util.Locale; … … 51 52 return null; 52 53 String prefValue = preferenceValue.trim().toLowerCase(Locale.ENGLISH); 53 for (Policy p: Policy.values()) { 54 if (p.getPreferencesValue().equals(prefValue)) 55 return p; 56 } 57 return null; 54 return Arrays.stream(Policy.values()) 55 .filter(p -> p.getPreferencesValue().equals(prefValue)) 56 .findFirst().orElse(null); 58 57 } 59 58 } … … 193 192 194 193 // remember policy for version based update 195 // 196 for (Policy p: Policy.values()) { 197 if (rbVersionBasedUpatePolicy.get(p).isSelected()) { 198 Config.getPref().put("pluginmanager.version-based-update.policy", p.getPreferencesValue()); 199 break; 200 } 201 } 194 Arrays.stream(Policy.values()) 195 .filter(p -> rbVersionBasedUpatePolicy.get(p).isSelected()).findFirst() 196 .ifPresent(p -> Config.getPref().put("pluginmanager.version-based-update.policy", p.getPreferencesValue())); 202 197 203 198 // remember policy for time based update 204 // 205 for (Policy p: Policy.values()) { 206 if (rbTimeBasedUpatePolicy.get(p).isSelected()) { 207 Config.getPref().put("pluginmanager.time-based-update.policy", p.getPreferencesValue()); 208 break; 209 } 210 } 199 Arrays.stream(Policy.values()) 200 .filter(p -> rbTimeBasedUpatePolicy.get(p).isSelected()).findFirst() 201 .ifPresent(p -> Config.getPref().put("pluginmanager.time-based-update.policy", p.getPreferencesValue())); 211 202 212 203 // remember update interval
Note:
See TracChangeset
for help on using the changeset viewer.