Changeset 5219 in josm for trunk/src/org/openstreetmap/josm/gui/MapView.java

Timestamp:

2012-05-07T15:05:27+02:00 (12 years ago)

Author:

bastiK

Message:

mapstyles: add automatic reloading of local styles when they have been edited in an extenal editor (based on mtime)

File:

• trunk/src/org/openstreetmap/josm/gui/MapView.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/MapView.java

@@ -238 +238 @@
             }
         });
-        
+
         // Add Multipolygon cache to layer listeners
         addLayerChangeListener(MultipolygonCache.getInstance());
@@ -730 +730 @@
             AbstractButton button = e.nextElement();
             MapMode mode = (MapMode)button.getAction();
-            boolean isLayerSupported = mode.layerIsSupported(layer); 
+            boolean isLayerSupported = mode.layerIsSupported(layer);
             button.setEnabled(isLayerSupported);
             // Also update associated shortcut (fix #6876)