return;
// store size of replaced region (never synchronized -> not a problem)
fFirstLine= doc.getLineOfOffset(event.getOffset()); // store change bounding lines
fNLines= doc.getLineOfOffset(event.getOffset() + event.getLength()) - fFirstLine + 1;
rightEquivalent.update(event);
}
/*
* @see org.eclipse.jface.text.IDocumentListener#documentChanged(org.eclipse.jface.text.DocumentEvent)
*/