Mercurial > projects > dwt2
comparison org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.d @ 15:c4b1a29263fc
Successful build of org.eclipse.text
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 15 Mar 2009 19:51:07 +0100 |
parents | 5feec68b4556 |
children |
comparison
equal
deleted
inserted
replaced
14:5feec68b4556 | 15:c4b1a29263fc |
---|---|
42 import org.eclipse.jface.text.ISlaveDocumentManagerExtension; | 42 import org.eclipse.jface.text.ISlaveDocumentManagerExtension; |
43 import org.eclipse.jface.text.ILineTracker; | 43 import org.eclipse.jface.text.ILineTracker; |
44 import org.eclipse.jface.text.ListLineTracker; | 44 import org.eclipse.jface.text.ListLineTracker; |
45 import org.eclipse.jface.text.IDocumentInformationMapping; | 45 import org.eclipse.jface.text.IDocumentInformationMapping; |
46 import org.eclipse.jface.text.IDocumentRewriteSessionListener; | 46 import org.eclipse.jface.text.IDocumentRewriteSessionListener; |
47 import org.eclipse.jface.text.Assert; | |
48 import org.eclipse.jface.text.AbstractLineTracker; | 47 import org.eclipse.jface.text.AbstractLineTracker; |
49 import org.eclipse.jface.text.DefaultLineTracker; | 48 import org.eclipse.jface.text.DefaultLineTracker; |
50 import org.eclipse.jface.text.BadPositionCategoryException; | 49 import org.eclipse.jface.text.BadPositionCategoryException; |
51 import org.eclipse.jface.text.BadPartitioningException; | 50 import org.eclipse.jface.text.BadPartitioningException; |
52 import org.eclipse.jface.text.SequentialRewriteTextStore; | 51 import org.eclipse.jface.text.SequentialRewriteTextStore; |
282 length= (eventOffset - delta) + eventLength - offset; | 281 length= (eventOffset - delta) + eventLength - offset; |
283 | 282 |
284 // event is left from merged event | 283 // event is left from merged event |
285 } else if (eventOffset + eventLength < offset) { | 284 } else if (eventOffset + eventLength < offset) { |
286 final String string= document.get(eventOffset + eventLength, offset - (eventOffset + eventLength)); | 285 final String string= document.get(eventOffset + eventLength, offset - (eventOffset + eventLength)); |
287 text.select(0,0); | 286 text.insert(0, string); |
288 text.replace(string); | 287 text.insert(0, eventText); |
289 text.select(0,0); | |
290 text.replace(eventText); | |
291 | 288 |
292 length= offset + length - eventOffset; | 289 length= offset + length - eventOffset; |
293 offset= eventOffset; | 290 offset= eventOffset; |
294 | 291 |
295 // events overlap each other | 292 // events overlap each other |
296 } else { | 293 } else { |
297 final int start= Math.max(0, eventOffset - offset); | 294 final int start= Math.max(0, eventOffset - offset); |
298 final int end= Math.min(text.length(), eventLength + eventOffset - offset); | 295 final int end= Math.min(text.length(), eventLength + eventOffset - offset); |
299 text.select(start, end); | 296 text.replace(start, end, eventText); |
300 text.replace(eventText); | |
301 | 297 |
302 offset= Math.min(offset, eventOffset); | 298 offset= Math.min(offset, eventOffset); |
303 final int totalDelta= delta + eventText.length - eventLength; | 299 final int totalDelta= delta + eventText.length - eventLength; |
304 length= text.length() - totalDelta; | 300 length= text.length() - totalDelta; |
305 } | 301 } |