Changeset 12882 in josm for trunk/src/org/openstreetmap/josm/spi/preferences/PreferenceChangeEvent.java
- Timestamp:
- 2017-09-21T13:17:17+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/spi/preferences/PreferenceChangeEvent.java
r12881 r12882 4 4 /** 5 5 * Event triggered when a preference entry value changes. 6 * @since xxx6 * @since 12881 7 7 */ 8 8 public interface PreferenceChangeEvent {
Note:
See TracChangeset
for help on using the changeset viewer.