comparison 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
comparison
equal deleted inserted replaced
145:02cd5f1224d3 146:75302ef3f92f
107 /**The offset at which a partition has been deleted */ 107 /**The offset at which a partition has been deleted */
108 protected int fDeleteOffset; 108 protected int fDeleteOffset;
109 /** 109 /**
110 * The position category this partitioner uses to store the document's partitioning information. 110 * The position category this partitioner uses to store the document's partitioning information.
111 */ 111 */
112 private final String fPositionCategory; 112 private const String fPositionCategory;
113 /** 113 /**
114 * The active document rewrite session. 114 * The active document rewrite session.
115 */ 115 */
116 private DocumentRewriteSession fActiveRewriteSession; 116 private DocumentRewriteSession fActiveRewriteSession;
117 /** 117 /**