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}