/** * Processes the given damage. * @param damage the damage to be repaired * @param document the document whose presentation must be repaired */ private void processDamage(IRegion damage, IDocument document) { if (damage != null && damage.getLength() > 0) { TextPresentation p= createPresentation(damage, document); if (p != null) applyTextRegionCollection(p); } }
/** * Processes the given damage. * @param damage the damage to be repaired * @param document the document whose presentation must be repaired */ private void processDamage(IRegion damage, IDocument document) { if (damage != null && damage.getLength() > 0) { TextPresentation p= createPresentation(damage, document); if (p != null) applyTextRegionCollection(p); } }