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