542543544545546547548549550551552
* @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.
130131132133134135136137138139140
* @since 3.0 */ private void repairLineInformation(IDocument document) { if (document instanceof IRepairableDocument) { IRepairableDocument repairable= (IRepairableDocument) document; repairable.repairLineInformation(); } } /** * Returns the line for the given line number.
910911912913914915916917918919920
ChildDocument child= (ChildDocument) slaves[i]; Position p= child.getParentDocumentRange(); try { if (!updateSlaveDocument(child, p.getOffset(), p.getLength())) child.repairLineInformation(); } catch (BadLocationException e) { // ignore } }
10371038103910401041104210431044104510461047
10351036103710381039104010411042104310441045