001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.spi.preferences;
003
004/**
005 * Listener to preference change events.
006 * @since 12881
007 */
008@FunctionalInterface
009public interface PreferenceChangedListener {
010
011    /**
012     * Triggered when a preference entry value changes.
013     * @param e the preference change event
014     */
015    void preferenceChanged(PreferenceChangeEvent e);
016    
017}