Changeset 12853 in josm for trunk/src/org
- Timestamp:
- 2017-09-14T02:25:27+02:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 8 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/AutoScaleAction.java
r12846 r12853 321 321 private BoundingXYVisitor modeDownload(BoundingXYVisitor v) { 322 322 if (lastZoomTime > 0 && 323 System.currentTimeMillis() - lastZoomTime > Main.pref.getLong("zoom.bounds.reset.time", TimeUnit.SECONDS.toMillis(10))) {323 System.currentTimeMillis() - lastZoomTime > Config.getPref().getLong("zoom.bounds.reset.time", TimeUnit.SECONDS.toMillis(10))) { 324 324 lastZoomTime = -1; 325 325 } -
trunk/src/org/openstreetmap/josm/data/Preferences.java
r12851 r12853 585 585 * @return {@code true}, if something has changed (i.e. value is different than before) 586 586 * @see LongProperty#put(Long) 587 */ 587 * @deprecated use {@link IPreferences#putLong(java.lang.String, long)} 588 */ 589 @Deprecated 588 590 public boolean putLong(final String key, final Long value) { 589 591 return put(key, Long.toString(value)); … … 961 963 962 964 /** 963 * Gets a long preference964 * @param key The preference key965 * @param def The default value to use966 * @return The long value or the default value if it could not be parsed967 * @see LongProperty#get()968 */969 public synchronized long getLong(String key, long def) {970 String v = get(key, Long.toString(def));971 if (null == v)972 return def;973 974 try {975 return Long.parseLong(v);976 } catch (NumberFormatException e) {977 // fall out978 Logging.trace(e);979 }980 return def;981 }982 983 /**984 965 * Get a list of values for a certain key 985 966 * @param key the identifier for the setting -
trunk/src/org/openstreetmap/josm/gui/io/UploadDialog.java
r12846 r12853 656 656 Collection<String> history = Config.getPref().getList(historyKey, def); 657 657 int age = (int) (System.currentTimeMillis() / 1000 - Config.getPref().getInt(BasicUploadSettingsPanel.HISTORY_LAST_USED_KEY, 0)); 658 if (history != null && age < Main.pref.getLong(BasicUploadSettingsPanel.HISTORY_MAX_AGE_KEY, TimeUnit.HOURS.toMillis(4))658 if (history != null && age < Config.getPref().getLong(BasicUploadSettingsPanel.HISTORY_MAX_AGE_KEY, TimeUnit.HOURS.toMillis(4)) 659 659 && !history.isEmpty()) { 660 660 return history.iterator().next(); -
trunk/src/org/openstreetmap/josm/gui/layer/gpx/DateFilterPanel.java
r12846 r12853 16 16 import javax.swing.event.ChangeListener; 17 17 18 import org.openstreetmap.josm.Main;19 18 import org.openstreetmap.josm.gui.layer.GpxLayer; 20 19 import org.openstreetmap.josm.gui.widgets.DateEditorWithSlider; … … 104 103 */ 105 104 public void saveInPrefs() { 106 Main.pref.putLong(prefDateMin, dateFrom.getDate().getTime());107 Main.pref.putLong(prefDateMax, dateTo.getDate().getTime());105 Config.getPref().putLong(prefDateMin, dateFrom.getDate().getTime()); 106 Config.getPref().putLong(prefDateMax, dateTo.getDate().getTime()); 108 107 Config.getPref().putBoolean(prefDate0, noTimestampCb.isSelected()); 109 108 } … … 114 113 */ 115 114 public void loadFromPrefs() { 116 long t1 = Main.pref.getLong(prefDateMin, 0);115 long t1 = Config.getPref().getLong(prefDateMin, 0); 117 116 if (t1 != 0) dateFrom.setDate(new Date(t1)); 118 long t2 = Main.pref.getLong(prefDateMax, 0);117 long t2 = Config.getPref().getLong(prefDateMax, 0); 119 118 if (t2 != 0) dateTo.setDate(new Date(t2)); 120 119 noTimestampCb.setSelected(Config.getPref().getBoolean(prefDate0, false)); -
trunk/src/org/openstreetmap/josm/io/CachedFile.java
r12846 r12853 436 436 || maxAge <= 0 // arbitrary value <= 0 is deprecated 437 437 ) { 438 maxAgeMillis = TimeUnit.SECONDS.toMillis( Main.pref.getLong("mirror.maxtime", TimeUnit.DAYS.toSeconds(7)));438 maxAgeMillis = TimeUnit.SECONDS.toMillis(Config.getPref().getLong("mirror.maxtime", TimeUnit.DAYS.toSeconds(7))); 439 439 } 440 440 age = System.currentTimeMillis() - Long.parseLong(localPathEntry.get(0)); -
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r12846 r12853 434 434 } else { 435 435 long tim = System.currentTimeMillis(); 436 long last = Main.pref.getLong("pluginmanager.lastupdate", 0);436 long last = Config.getPref().getLong("pluginmanager.lastupdate", 0); 437 437 Integer maxTime = Config.getPref().getInt("pluginmanager.time-based-update.interval", DEFAULT_TIME_BASED_UPDATE_INTERVAL); 438 438 long d = TimeUnit.MILLISECONDS.toDays(tim - last); -
trunk/src/org/openstreetmap/josm/spi/preferences/AbstractPreferences.java
r12847 r12853 56 56 public boolean putInt(String key, int value) { 57 57 return put(key, Integer.toString(value)); 58 } 59 60 @Override 61 public long getLong(String key, long def) { 62 String v = get(key, Long.toString(def)); 63 if (null == v) 64 return def; 65 66 try { 67 return Long.parseLong(v); 68 } catch (NumberFormatException e) { 69 // fall out 70 Logging.trace(e); 71 } 72 return def; 73 } 74 75 @Override 76 public boolean putLong(final String key, final long value) { 77 return put(key, Long.toString(value)); 58 78 } 59 79 -
trunk/src/org/openstreetmap/josm/spi/preferences/IPreferences.java
r12847 r12853 105 105 106 106 /** 107 * Set a booleanvalue for a certain setting.107 * Set an integer value for a certain setting. 108 108 * @param key the unique identifier for the setting 109 109 * @param value The new value … … 112 112 */ 113 113 boolean putInt(String key, int value); 114 115 /** 116 * Gets a long preference 117 * @param key The preference key 118 * @param def The default value to use 119 * @return The long value or the default value if it could not be parsed 120 */ 121 long getLong(String key, long def); 122 123 /** 124 * Set a long value for a certain setting. 125 * @param key the unique identifier for the setting 126 * @param value The new value 127 * @return {@code true}, if something has changed (i.e. value is different than before) 128 */ 129 boolean putLong(String key, long value); 114 130 115 131 /**
Note:
See TracChangeset
for help on using the changeset viewer.