org.openstreetmap.josm.gui.widgets
Interface HistoryChangedListener


public interface HistoryChangedListener


Method Summary
 void historyChanged(java.util.List<java.lang.String> history)
           
 

Method Detail

historyChanged

void historyChanged(java.util.List<java.lang.String> history)


JOSM