Changeset 13064 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginUpdatePolicyPanel.java
- Timestamp:
- 2017-10-30T23:58:23+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginUpdatePolicyPanel.java
r12854 r13064 25 25 import org.openstreetmap.josm.plugins.PluginHandler; 26 26 import org.openstreetmap.josm.spi.preferences.Config; 27 import org.openstreetmap.josm.tools.Logging;28 27 29 28 /** … … 184 183 .setSelected(true); 185 184 186 String pref = Config.getPref().get("pluginmanager.warntime", null); 187 int days = 0; 188 if (pref != null) { 189 // remove legacy preference 190 Config.getPref().put("pluginmanager.warntime", null); 191 try { 192 days = Integer.parseInt(pref.trim()); 193 } catch (NumberFormatException e) { 194 // ignore - load from preference pluginmanager.time-based-update.interval 195 Logging.trace(e); 196 } 197 if (days <= 0) { 198 days = PluginHandler.DEFAULT_TIME_BASED_UPDATE_INTERVAL; 199 } 200 } 201 if (days == 0) { 202 days = Config.getPref().getInt("pluginmanager.time-based-update.interval", PluginHandler.DEFAULT_TIME_BASED_UPDATE_INTERVAL); 203 } 185 int days = Config.getPref().getInt("pluginmanager.time-based-update.interval", PluginHandler.DEFAULT_TIME_BASED_UPDATE_INTERVAL); 204 186 tfUpdateInterval.setText(Integer.toString(days)); 205 187 }
Note:
See TracChangeset
for help on using the changeset viewer.