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}