1 11 package org.eclipse.ant.internal.ui.editor.text; 12 13 14 import org.eclipse.jface.text.DocumentEvent; 15 import org.eclipse.jface.text.IRegion; 16 import org.eclipse.jface.text.ITypedRegion; 17 import org.eclipse.jface.text.TextAttribute; 18 import org.eclipse.jface.text.rules.DefaultDamagerRepairer; 19 import org.eclipse.jface.text.rules.ITokenScanner; 20 21 26 public class MultilineDamagerRepairer extends DefaultDamagerRepairer { 27 28 public MultilineDamagerRepairer(ITokenScanner scanner, TextAttribute defaultTextAttribute) { 29 super(scanner, defaultTextAttribute); 30 } 31 32 public MultilineDamagerRepairer(ITokenScanner scanner) { 33 super(scanner); 34 } 35 36 39 public IRegion getDamageRegion(ITypedRegion partition, DocumentEvent e, boolean documentPartitioningChanged) { 40 return partition; 41 } 42 43 47 public void setDefaultTextAttribute(TextAttribute defaultTextAttribute) { 48 fDefaultTextAttribute= defaultTextAttribute; 49 } 50 } 51 | Popular Tags |