Changeset 7244 in josm for trunk/src/org/openstreetmap/josm/io/FileWatcher.java

Timestamp:

2014-06-12T19:53:57+02:00 (10 years ago)

Author:

Don-vip

Message:

fix #10078 - fix map paint style reloading

File:

• trunk/src/org/openstreetmap/josm/io/FileWatcher.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/FileWatcher.java

@@ -73 +73 @@
                 // Register directory. Can be called several times for a same directory without problem
                 // (it returns the same key so it should not send events several times)
-                dir.toPath().register(watcher, StandardWatchEventKinds.ENTRY_MODIFY);
-                dir.toPath().register(watcher, StandardWatchEventKinds.ENTRY_CREATE);
+                dir.toPath().register(watcher, StandardWatchEventKinds.ENTRY_MODIFY, StandardWatchEventKinds.ENTRY_CREATE);
                 styleMap.put(file.toPath(), style);
             }