--- a/dwtx/jface/text/TextAttribute.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/TextAttribute.d	Mon Sep 08 00:51:37 2008 +0200
@@ -193,7 +193,7 @@
 
     /** The text style */
     private int style;
-    
+
     /**
      * The text font.
      * @since 3.3
@@ -218,7 +218,7 @@
         this.background= background;
         this.style= style;
     }
-    
+
     /**
      * Creates a text attribute with the given colors and style.
      *
@@ -256,7 +256,7 @@
         if (!( cast(TextAttribute)object ))
             return false;
         TextAttribute a= cast(TextAttribute)object;
-        
+
         return (a.style is style && equals(a.foreground, foreground) && equals(a.background, background) && equals(a.font, font));
     }
 
@@ -270,7 +270,7 @@
      */
     private bool equals(Object o1, Object o2) {
         if (o1 !is null)
-            return o1.equals(o2);
+            return cast(bool) o1.opEquals(o2);
         return (o2 is null);
     }
 
@@ -315,7 +315,7 @@
     public int getStyle() {
         return style;
     }
-    
+
     /**
      * Returns the attribute's font.
      *