--- a/dwtx/ui/internal/forms/widgets/FormImages.d	Sat May 24 06:18:55 2008 +0200
+++ b/dwtx/ui/internal/forms/widgets/FormImages.d	Sat May 24 06:59:31 2008 +0200
@@ -117,9 +117,9 @@
             if (null !is cast(ComplexImageIdentifier)obj ) {
                 ComplexImageIdentifier id = cast(ComplexImageIdentifier) obj;
                 if (super.equals(obj)  &&
-                        id.fVertical is fVertical && Arrays.opEquals(id.fPercents, fPercents)) {
+                        id.fVertical is fVertical && ArrayEquals(id.fPercents, fPercents)) {
                     if ((id.fBg is null && fBg is null) ||
-                            (id.fBg !is null && id.fBg.equals(fBg)))
+                            (id.fBg !is null && id.fBg.opEquals(fBg)))
                         return true;
                     // if the only thing that isn't the same is the background color
                     // still return true if it does not matter (percents add up to 100)
@@ -189,8 +189,8 @@
             return result.getImage();
         }
         Image image = createGradient(display, colors, percents, length, vertical, bg);
-        images.put(id, new ImageReference(image));
-        ids.put(image, id);
+        images.add(id, new ImageReference(image));
+        ids.add(image, id);
         return image;
     }