diff dwtx/jface/internal/text/revisions/ChangeRegion.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 6dcb0baaa031
line wrap: on
line diff
--- a/dwtx/jface/internal/text/revisions/ChangeRegion.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/internal/text/revisions/ChangeRegion.d	Sun Aug 24 01:46:20 2008 +0200
@@ -96,8 +96,8 @@
         if (fAdjusted.isEmpty())
             return new LineRange(fLines.getStartLine(), 0);
         
-        Range first= (Range) fAdjusted.get(0);
-        Range last= (Range) fAdjusted.get(fAdjusted.size() - 1);
+        Range first= cast(Range) fAdjusted.get(0);
+        Range last= cast(Range) fAdjusted.get(fAdjusted.size() - 1);
         
         return Range.createAbsolute(first.start(), last.end());
     }
@@ -117,7 +117,7 @@
      */
     public void adjustTo(Hunk hunk) {
         for (ListIterator it= fAdjusted.listIterator(); it.hasNext();) {
-            Range range= (Range) it.next();
+            Range range= cast(Range) it.next();
             
             // do we need a split?
             int unchanged= getUnchanged(hunk, range.start());