Changeset 8346 in josm for trunk/src/org/openstreetmap/josm/gui/layer/gpx
- Timestamp:
- 2015-05-11T13:34:53+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/gpx/DateFilterPanel.java
r8308 r8346 30 30 private transient ActionListener filterAppliedListener; 31 31 32 private final String PREF_DATE_0;33 private final String PREF_DATE_MIN;34 private final String PREF_DATE_MAX;32 private final String prefDate0; 33 private final String prefDateMin; 34 private final String prefDateMax; 35 35 36 36 /** … … 41 41 public DateFilterPanel(GpxLayer layer, String preferencePrefix, boolean enabled) { 42 42 super(new GridBagLayout()); 43 PREF_DATE_0 = preferencePrefix+".showzerotimestamp";44 PREF_DATE_MIN= preferencePrefix+".mintime";45 PREF_DATE_MAX= preferencePrefix+".maxtime";43 prefDate0 = preferencePrefix+".showzerotimestamp"; 44 prefDateMin = preferencePrefix+".mintime"; 45 prefDateMax = preferencePrefix+".maxtime"; 46 46 this.layer = layer; 47 47 … … 101 101 */ 102 102 public void saveInPrefs() { 103 Main.pref.putLong( PREF_DATE_MIN, dateFrom.getDate().getTime());104 Main.pref.putLong( PREF_DATE_MAX, dateTo.getDate().getTime());105 Main.pref.put( PREF_DATE_0, noTimestampCb.isSelected());103 Main.pref.putLong(prefDateMin, dateFrom.getDate().getTime()); 104 Main.pref.putLong(prefDateMax, dateTo.getDate().getTime()); 105 Main.pref.put(prefDate0, noTimestampCb.isSelected()); 106 106 } 107 107 … … 111 111 */ 112 112 public void loadFromPrefs() { 113 long t1 =Main.pref.getLong( PREF_DATE_MIN, 0);113 long t1 =Main.pref.getLong(prefDateMin, 0); 114 114 if (t1!=0) dateFrom.setDate(new Date(t1)); 115 long t2 =Main.pref.getLong( PREF_DATE_MAX, 0);115 long t2 =Main.pref.getLong(prefDateMax, 0); 116 116 if (t2!=0) dateTo.setDate(new Date(t2)); 117 noTimestampCb.setSelected(Main.pref.getBoolean( PREF_DATE_0, false));117 noTimestampCb.setSelected(Main.pref.getBoolean(prefDate0, false)); 118 118 } 119 119
Note:
See TracChangeset
for help on using the changeset viewer.