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}