Mercurial > projects > dwt-addons
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(); |