296 		int leftLine= diff.leftStart() + region.getOffset();  in revertLine()  local
298 		if (leftLine >= diff.leftEnd()) // restoring a deleted line?  in revertLine()
301 			int lOffset= fLeftDocument.getLineOffset(leftLine);  in revertLine()
302 			int lLength= fLeftDocument.getLineLength(leftLine);  in revertLine()
361 					int leftLine= Math.min(diff.leftStart() + line - diff.rightStart(), diff.leftEnd() - 1);  in revertSelection()  local
362 					lOffset= fLeftDocument.getLineOffset(leftLine);  in revertSelection()
377 					int leftLine= Math.min(diff.leftStart() + to - diff.rightStart(), diff.leftEnd() - 1);  in revertSelection()  local
378 					int lEndOffset= fLeftDocument.getLineOffset(leftLine) + fLeftDocument.getLineLength(leftLine);  in revertSelection()
421 		int leftLine= diff.leftStart() + diff.rightLength();  in restoreAfterLine()  local
422 		int lOffset= fLeftDocument.getLineOffset(leftLine);  in restoreAfterLine()
998 		int leftLine= consistentAfter.leftEnd();  in handleChanged()  local
1000 			leftLine += lineDelta;  in handleChanged()
1001 		int leftEndLine= leftLine - shiftAfter;  in handleChanged()
1015 		if (leftLine - shiftAfter - leftStartLine > 50 || rightLine - shiftAfter - rightStartLine > 50) {  in handleChanged()
1354 	private int getRightLine(int leftLine) {  in getRightLine()  argument
1355 		QuickDiffRangeDifference d= getRangeDifferenceForLeftLine(leftLine);  in getRightLine()
1358 		return Math.min(d.rightEnd() - 1, d.rightStart() + leftLine - d.leftStart());  in getRightLine()
1367 	private QuickDiffRangeDifference getRangeDifferenceForLeftLine(int leftLine) {  in getRangeDifferenceForLeftLine()  argument
1369 			if (leftLine >= d.leftStart() && leftLine < d.leftEnd()) {  in getRangeDifferenceForLeftLine()