Ignore:
Timestamp:
2014-05-29T00:58:29+02:00 (10 years ago)
Author:
Don-vip
Message:

see #9518 - Automatically reload local styles using new Java 7 WatchService API

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/Main.java

    r7100 r7185  
    8888import org.openstreetmap.josm.gui.util.RedirectInputMap;
    8989import org.openstreetmap.josm.gui.widgets.JMultilineLabel;
     90import org.openstreetmap.josm.io.FileWatcher;
    9091import org.openstreetmap.josm.io.OsmApi;
    9192import org.openstreetmap.josm.tools.CheckParameterUtil;
     
    198199     */
    199200    public OsmValidator validator;
     201
     202    /**
     203     * The file watcher service.
     204     */
     205    public static final FileWatcher fileWatcher = new FileWatcher();
    200206
    201207    /**
Note: See TracChangeset for help on using the changeset viewer.