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 }