diff dwtx/jface/text/DocumentPartitioningChangedEvent.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 75302ef3f92f
line wrap: on
line diff
--- a/dwtx/jface/text/DocumentPartitioningChangedEvent.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/DocumentPartitioningChangedEvent.d	Sun Aug 24 01:46:20 2008 +0200
@@ -203,7 +203,7 @@
      * @return the changed region of the given partitioning or <code>null</code>
      */
     public IRegion getChangedRegion(String partitioning) {
-        return (IRegion) fMap.get(partitioning);
+        return cast(IRegion) fMap.get(partitioning);
     }
 
     /**
@@ -253,7 +253,7 @@
         int endOffset= -1;
         Iterator e= fMap.values().iterator();
         while (e.hasNext()) {
-            IRegion r= (IRegion) e.next();
+            IRegion r= cast(IRegion) e.next();
 
             if (offset < 0 || r.getOffset() < offset)
                 offset= r.getOffset();