Ticket #13072: patch-fix-13058.patch

File patch-fix-13058.patch, 774 bytes (added by michael2402, 9 years ago)

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

    diff --git a/src/org/openstreetmap/josm/gui/MapView.java b/src/org/openstreetmap/josm/gui/MapView.java
index b5a747f..da3079e 100644
    a b LayerManager.LayerChangeListener, MainLayerManager.ActiveLayerChangeListener {  
    732732
    733733        LayerPainter painter = registeredLayers.remove(layer);
    734734        if (painter == null) {
    735             throw new IllegalArgumentException("The painter for layer " + layer + " was not registered.");
     735            Main.error("The painter for layer " + layer + " was not registered.");
     736            return;
    736737        }
    737738        painter.detachFromMapView(new MapViewEvent(this, false));
    738739        Main.removeProjectionChangeListener(layer);