Ticket #17040: 17040-work.patch

File 17040-work.patch, 623 bytes (added by GerdP, 5 years ago)

  • src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

     
    551551
    552552    @Override
    553553    public void destroy() {
     554        taginfoAction.destroy();
    554555        super.destroy();
    555556        Config.getPref().removeKeyPreferenceChangeListener("display.discardable-keys", preferenceListener);
    556557        Container parent = pluginHook.getParent();