001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.gui.widgets;
003
004import java.util.List;
005
006@FunctionalInterface
007public interface HistoryChangedListener {
008    void historyChanged(List<String> history);
009}