} else {
IRegion region= widgetRegion2ModelRegion(e);
if (region != null) {
try {
String text= document.get(region.getOffset(), region.getLength());
DocumentEvent de= new DocumentEvent(document, region.getOffset(), region.getLength(), text);
damage= getDamage(de, false);
} catch (BadLocationException x) {
}
}
}
}
} else {
DocumentEvent de= e.getDocumentEvent();
document= de.getDocument();
damage= getDamage(de, true);
}
if (damage != null && document != null)
processDamage(damage, document);