@Override public void inputDocumentChanged(IDocument oldDocument, IDocument newDocument) { fDocumentChanging= false; fCachedRedrawState= true; if (newDocument != null) { newDocument.addPositionCategory(fPositionCategory); newDocument.addPositionUpdater(fPositionUpdater); newDocument.addDocumentPartitioningListener(this); newDocument.addDocumentListener(this); fViewer.addTextListener(this); setDocumentToDamagers(newDocument); setDocumentToRepairers(newDocument); processDamage(new Region(0, newDocument.getLength()), newDocument); } }
@Override public void inputDocumentChanged(IDocument oldDocument, IDocument newDocument) { fDocumentChanging= false; fCachedRedrawState= true; if (newDocument != null) { newDocument.addPositionCategory(fPositionCategory); newDocument.addPositionUpdater(fPositionUpdater); newDocument.addDocumentPartitioningListener(this); newDocument.addDocumentListener(this); fViewer.addTextListener(this); setDocumentToDamagers(newDocument); setDocumentToRepairers(newDocument); processDamage(new Region(0, newDocument.getLength()), newDocument); } }