Пример #1
0
 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;
   }
 }
Пример #2
0
 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);
     }
   }
 }