* @see Eclipse 3.0
*/
private void repairLineInformation(IDocument document) {
if (document instanceof IRepairableDocument) {
IRepairableDocument repairable = (IRepairableDocument) document;
repairable.repairLineInformation();
}
}
/**
* Return the line index at the given character offset.