public void propertyChange(PropertyChangeEvent event) {
if (event.getProperty().equals(MapEditor.CURRENT_LAYER_PROP))
handleLayerChanged(Integer.parseInt((String) event.getNewValue()),Integer.parseInt((String) event.getNewValue()));
}
});
map.addMapChangeListener(new MapChangeListener() {
@Override
public void tilesetsSwapped(MapChangedEvent e, int index0, int index1) {
}