public void mapChanged(final MapChangeEvent event) {
final Object property = event.getProperty();
if (property.equals(MapStyle.MAP_STYLES)) {
updateMapStyles(event.getMap());
final Controller controller = Controller.getCurrentController();
changeToolbar(controller.getSelection().getSelected());
return;
}
}
public void mapChanged(final MapChangeEvent event) {
if (!event.getProperty().equals(UrlManager.MAP_URL)) {
return;
}
final URL after = (URL) event.getNewValue();
if (after != null) {
final String fileAfter = after.getFile();
if (fileAfter != null) {
final String restorable = getRestorable(new File(fileAfter));
updateList(event.getMap(), restorable);
}
}
}
