001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.gui.util;
003
004/**
005 * Listener called when pressed extended modifier keys change is detected.
006 * @since 12517
007 */
008@FunctionalInterface
009public interface ModifierExListener {
010    /**
011     * Called when the extended modifiers are changed
012     * @param modifiers The new extended modifiers
013     */
014    void modifiersExChanged(int modifiers);
015}