// License: GPL. For details, see LICENSE file.
package org.openstreetmap.josm.gui.progress;
public interface ProgressTaskIds {
ProgressTaskId DOWNLOAD_GPS = new ProgressTaskId("core", "downloadGps");
ProgressTaskId PRECACHE_WMS = new ProgressTaskId("core", "precacheWms");
}