comparison dwtx/jface/text/DefaultPositionUpdater.d @ 161:f8d52b926852

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:49:30 +0200
parents 26688fec6d23
children
comparison
equal deleted inserted replaced
160:3678e4f1a766 161:f8d52b926852
192 protected Position fPosition; 192 protected Position fPosition;
193 /** 193 /**
194 * Remembers the original state of the investigated position 194 * Remembers the original state of the investigated position
195 * @since 2.1 195 * @since 2.1
196 */ 196 */
197 protected Position fOriginalPosition= new Position(0, 0); 197 protected Position fOriginalPosition;
198 /** Caches the offset of the replaced text */ 198 /** Caches the offset of the replaced text */
199 protected int fOffset; 199 protected int fOffset;
200 /** Caches the length of the replaced text */ 200 /** Caches the length of the replaced text */
201 protected int fLength; 201 protected int fLength;
202 /** Caches the length of the newly inserted text */ 202 /** Caches the length of the newly inserted text */
209 * Creates a new default position updater for the given category. 209 * Creates a new default position updater for the given category.
210 * 210 *
211 * @param category the category the updater is responsible for 211 * @param category the category the updater is responsible for
212 */ 212 */
213 public this(String category) { 213 public this(String category) {
214 fOriginalPosition= new Position(0, 0);
214 fCategory= category; 215 fCategory= category;
215 } 216 }
216 217
217 /** 218 /**
218 * Returns the category this updater is responsible for. 219 * Returns the category this updater is responsible for.