Ticket #7865: DisabledIcon.patch

src/org/openstreetmap/josm/gui/mappaint/MapImage.java

@@ -5 +5 @@
 
 import java.awt.Image;
 import java.awt.Rectangle;
+import java.awt.Toolkit;
 import java.awt.image.BufferedImage;
+import java.awt.image.FilteredImageSource;
+import java.awt.image.ImageProducer;
 
 import javax.swing.GrayFilter;
 import javax.swing.ImageIcon;
@@ -45 +48 @@
             return disabledImg;
         if (img == null)
             getImage(); // fix #7498 ?
-        return disabledImg = GrayFilter.createDisabledImage(img);
+        ImageProducer ip = new FilteredImageSource(img.getSource(), new GrayFilter(false, 0));
+        disabledImg = Toolkit.getDefaultToolkit().createImage(ip);
+        return disabledImg;
     }
 
     public BufferedImage getImage() {