Changeset 15121 in josm for trunk/src/org/openstreetmap/josm/spi
- Timestamp:
- 2019-05-27T12:37:31+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/spi/preferences/DefaultPreferenceChangeEvent.java
r14977 r15121 9 9 */ 10 10 public class DefaultPreferenceChangeEvent extends EventObject implements PreferenceChangeEvent { 11 12 private static final long serialVersionUID = 1L; 11 13 12 14 private final String key;
Note:
See TracChangeset
for help on using the changeset viewer.
