diff dwtx/jface/text/rules/FastPartitioner.d @ 150:5cf141e43417

...
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 23:05:26 +0200
parents 000f9136b8f7
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/rules/FastPartitioner.d	Sun Aug 24 22:41:48 2008 +0200
+++ b/dwtx/jface/text/rules/FastPartitioner.d	Sun Aug 24 23:05:26 2008 +0200
@@ -144,7 +144,7 @@
      * @see dwtx.jface.text.IDocumentPartitionerExtension2#getManagingPositionCategories()
      */
     public String[] getManagingPositionCategories() {
-        return new String[] { fPositionCategory };
+        return [ fPositionCategory ];
     }
 
     /*
@@ -824,7 +824,7 @@
     protected final Position[] getPositions()  {
         if (fCachedPositions is null) {
             fCachedPositions= fDocument.getPositions(fPositionCategory);
-        } else if cast(CHECK_CACHE_CONSISTENCY) {
+        } else if (CHECK_CACHE_CONSISTENCY) {
             Position[] positions= fDocument.getPositions(fPositionCategory);
             int len= Math.min(positions.length, fCachedPositions.length);
             for (int i= 0; i < len; i++) {