Changeset 33231 in osm for applications/editors/josm/plugins/mapdust/src

Timestamp:

2017-04-13T23:04:03+02:00 (8 years ago)

Author:

donvip

Message:

fix #josm14311 - IAE: Listener (MapdustGUI) was not registered before or already removed

File:

• applications/editors/josm/plugins/mapdust/src/org/openstreetmap/josm/plugins/mapdust/gui/MapdustGUI.java (modified) (2 diffs)

applications/editors/josm/plugins/mapdust/src/org/openstreetmap/josm/plugins/mapdust/gui/MapdustGUI.java

@@ -93 +93 @@
     private JPanel mainPanel;
 
-    /** Specifies if the MapDust data was or not down-loaded */
-    private boolean downloaded = false;
+    /** Specifies if the MapDust data was or not downloaded */
+    private boolean downloaded;
+
+    /** Remembers if the dialog has been destroyed */
+    private boolean destroyed;
 
     /**
@@ -152 +155 @@
         downloaded = false;
         button.setSelected(false);
-        super.destroy();
+        if (!destroyed) {
+            super.destroy();
+            destroyed = true;
+        }
     }