Ticket #6964: iconInEDT.patch

File iconInEDT.patch, 866 bytes (added by akks, 14 years ago)
  • src/org/openstreetmap/josm/gui/tagging/TaggingPreset.java

     
    12541254                if (Math.max(icon.getIconHeight(), icon.getIconWidth()) != 16) {
    12551255                    icon = new ImageIcon(icon.getImage().getScaledInstance(16, 16, Image.SCALE_SMOOTH));
    12561256                }
    1257                 putValue(Action.SMALL_ICON, icon);
     1257                final ImageIcon loadedIcon = icon;
     1258                GuiHelper.runInEDT(new Runnable() {
     1259                    public void run() {
     1260                        putValue(Action.SMALL_ICON, loadedIcon);
     1261                    }
     1262                });
    12581263            }
    12591264        });
    12601265    }