1 11 package org.eclipse.pde.internal.ui.editor.text; 12 13 import org.eclipse.jface.text.DocumentEvent; 14 import org.eclipse.jface.text.IRegion; 15 import org.eclipse.jface.text.ITypedRegion; 16 import org.eclipse.jface.text.TextAttribute; 17 import org.eclipse.jface.text.rules.DefaultDamagerRepairer; 18 import org.eclipse.jface.text.rules.ITokenScanner; 19 20 public class MultilineDamagerRepairer extends DefaultDamagerRepairer { 21 22 public MultilineDamagerRepairer(ITokenScanner scanner, TextAttribute defaultTextAttribute) { 23 super(scanner, defaultTextAttribute); 24 } 25 26 public MultilineDamagerRepairer(ITokenScanner scanner) { 27 super(scanner); 28 } 29 30 33 public IRegion getDamageRegion(ITypedRegion partition, DocumentEvent e, boolean documentPartitioningChanged) { 34 return partition; 35 } 36 37 41 public void setDefaultTextAttribute(TextAttribute defaultTextAttribute) { 42 fDefaultTextAttribute= defaultTextAttribute; 43 } 44 45 } 46 | Popular Tags |