diff dwtx/jface/text/rules/FastPartitioner.d @ 146:75302ef3f92f

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:34:04 +0200
parents b6bad70d540a
children 000f9136b8f7
line wrap: on
line diff
--- a/dwtx/jface/text/rules/FastPartitioner.d	Sun Aug 24 22:31:00 2008 +0200
+++ b/dwtx/jface/text/rules/FastPartitioner.d	Sun Aug 24 22:34:04 2008 +0200
@@ -109,7 +109,7 @@
     /**
      * The position category this partitioner uses to store the document's partitioning information.
      */
-    private final String fPositionCategory;
+    private const String fPositionCategory;
     /**
      * The active document rewrite session.
      */