Mercurial > projects > dwt-addons
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++) {