Ticket #6964: iconInEDT.patch
| File iconInEDT.patch, 866 bytes (added by , 14 years ago) |
|---|
-
src/org/openstreetmap/josm/gui/tagging/TaggingPreset.java
1254 1254 if (Math.max(icon.getIconHeight(), icon.getIconWidth()) != 16) { 1255 1255 icon = new ImageIcon(icon.getImage().getScaledInstance(16, 16, Image.SCALE_SMOOTH)); 1256 1256 } 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 }); 1258 1263 } 1259 1264 }); 1260 1265 }
