001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.spi.preferences;
003
004/**
005 * Event triggered when a preference entry value changes.
006 * @since 12881
007 */
008public interface PreferenceChangeEvent {
009
010    /**
011     * Returns the preference key.
012     * @return the preference key
013     */
014    String getKey();
015
016    /**
017     * Returns the old preference value.
018     * @return the old preference value
019     */
020    Setting<?> getOldValue();
021
022    /**
023     * Returns the new preference value.
024     * @return the new preference value
025     */
026    Setting<?> getNewValue();
027    
028}