Ticket #13000: patch-fix-13000.patch

File patch-fix-13000.patch, 1.7 KB (added by michael2402, 6 years ago)
  • src/org/openstreetmap/josm/gui/dialogs/DialogsPanel.java

    diff --git a/src/org/openstreetmap/josm/gui/dialogs/DialogsPanel.java b/src/org/openstreetmap/josm/gui/dialogs/DialogsPanel.java
    index 0f700f8..1e30b81 100644
    a b import org.openstreetmap.josm.gui.widgets.MultiSplitLayout.Split; 
    1616import org.openstreetmap.josm.gui.widgets.MultiSplitPane;
    1717import org.openstreetmap.josm.tools.CheckParameterUtil;
    1818import org.openstreetmap.josm.tools.Destroyable;
     19import org.openstreetmap.josm.tools.bugreport.BugReport;
    1920
    2021/**
    2122 * This is the panel displayed on the right side of JOSM. It displays a list of panels.
    public class DialogsPanel extends JPanel implements Destroyable { 
    322323    @Override
    323324    public void destroy() {
    324325        for (ToggleDialog t : allDialogs) {
    325             t.destroy();
     326            try {
     327                t.destroy();
     328            } catch (RuntimeException e) {
     329                throw BugReport.intercept(e).put("dialog", t).put("dialog-class", t.getClass());
     330            }
    326331        }
    327332    }
    328333
  • src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java

    diff --git a/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java b/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java
    index 6c1454f..c10b892 100644
    a b public class ToggleDialog extends JPanel implements ShowHideButtonListener, Help 
    308308                showNotify();
    309309            }
    310310        }
     311
     312        @Override
     313        public String toString() {
     314            return "ToggleDialogAction [" + ToggleDialog.this.toString() + "]";
     315        }
     316
    311317    }
    312318
    313319    /**