diff dwtx/jface/text/rules/FastPartitioner.d @ 147:000f9136b8f7

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 75302ef3f92f
children 5cf141e43417
line wrap: on
line diff
--- a/dwtx/jface/text/rules/FastPartitioner.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/jface/text/rules/FastPartitioner.d	Sun Aug 24 22:35:05 2008 +0200
@@ -89,7 +89,7 @@
     /**
      * The position category this partitioner uses to store the document's partitioning information.
      */
-    private static final String CONTENT_TYPES_CATEGORY= "__content_types_category"; //$NON-NLS-1$
+    private static const String CONTENT_TYPES_CATEGORY= "__content_types_category"; //$NON-NLS-1$
     /** The partitioner's scanner */
     protected final IPartitionTokenScanner fScanner;
     /** The legal content types of this partitioner */
@@ -124,7 +124,7 @@
      */
     private Position[] fCachedPositions= null;
     /** Debug option for cache consistency checking. */
-    private static final bool CHECK_CACHE_CONSISTENCY= "true".equalsIgnoreCase(Platform.getDebugOption("dwtx.jface.text/debug/FastPartitioner/PositionCache"));  //$NON-NLS-1$//$NON-NLS-2$;
+    private static const bool CHECK_CACHE_CONSISTENCY= "true".equalsIgnoreCase(Platform.getDebugOption("dwtx.jface.text/debug/FastPartitioner/PositionCache"));  //$NON-NLS-1$//$NON-NLS-2$;
 
     /**
      * Creates a new partitioner that uses the given scanner and may return