comparison dwtx/jface/text/projection/FragmentUpdater.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents 7d818bd32d63
children
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
52 /** 52 /**
53 * Creates the fragment updater for the given category. 53 * Creates the fragment updater for the given category.
54 * 54 *
55 * @param fragmentCategory the position category used for managing the fragments of a document 55 * @param fragmentCategory the position category used for managing the fragments of a document
56 */ 56 */
57 protected this(String fragmentCategory) { 57 /+protected+/ this(String fragmentCategory) {
58 super(fragmentCategory); 58 super(fragmentCategory);
59 } 59 }
60 60
61 /* 61 /*
62 * @see dwtx.jface.text.IPositionUpdater#update(dwtx.jface.text.DocumentEvent) 62 * @see dwtx.jface.text.IPositionUpdater#update(dwtx.jface.text.DocumentEvent)
117 117
118 /** 118 /**
119 * Returns whether this updater considers any position affected by the given document event. A 119 * Returns whether this updater considers any position affected by the given document event. A
120 * position is affected if <code>event</code> {@link Position#overlapsWith(int, int) overlaps} 120 * position is affected if <code>event</code> {@link Position#overlapsWith(int, int) overlaps}
121 * with it but not if the position is only shifted. 121 * with it but not if the position is only shifted.
122 * 122 *
123 * @param event the event 123 * @param event the event
124 * @return <code>true</code> if there is any affected position, <code>false</code> otherwise 124 * @return <code>true</code> if there is any affected position, <code>false</code> otherwise
125 */ 125 */
126 public bool affectsPositions(DocumentEvent event) { 126 public bool affectsPositions(DocumentEvent event) {
127 IDocument document= event.getDocument(); 127 IDocument document= event.getDocument();