Don't download sources multiple times when user asks for refresh multiple times in different locations

Signed-off-by: Taylor Smock <smocktaylor@gmail.com>
pull/45/head v824
Taylor Smock 2024-01-05 06:37:47 -07:00
rodzic d56513358d
commit ad6ec16acd
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: A755BFD7C10867F2
1 zmienionych plików z 4 dodań i 3 usunięć

Wyświetl plik

@ -3,6 +3,8 @@ package org.openstreetmap.josm.plugins.mapwithai.data.mapwithai;
import static org.openstreetmap.josm.tools.I18n.tr;
import javax.swing.SwingUtilities;
import java.io.IOException;
import java.io.Serial;
import java.time.Instant;
@ -22,8 +24,6 @@ import java.util.concurrent.ForkJoinTask;
import java.util.concurrent.RecursiveTask;
import java.util.concurrent.atomic.AtomicBoolean;
import javax.swing.SwingUtilities;
import org.openstreetmap.gui.jmapviewer.tilesources.TileSourceInfo;
import org.openstreetmap.josm.actions.ExpertToggleAction;
import org.openstreetmap.josm.data.Preferences;
@ -215,6 +215,7 @@ public class MapWithAILayerInfo {
}
if (listener != null) {
this.finishListenerListenerList.addListener(listener);
return;
}
if (worker == null) {
final var pleaseWaitRunnable = new PleaseWaitRunnable(tr("Update default entries")) {
@ -283,7 +284,7 @@ public class MapWithAILayerInfo {
}
// This is literally to avoid allocations on startup
final Preferences preferences;
if (Config.getPref()instanceof Preferences pref) {
if (Config.getPref() instanceof Preferences pref) {
preferences = pref;
} else {
preferences = null;