Lines Matching defs:extraLength
2041 int extraLength = paddingLength - firstDiff.text.length();
2044 patch.start1 -= extraLength;
2045 patch.start2 -= extraLength;
2046 patch.length1 += extraLength;
2047 patch.length2 += extraLength;
2061 int extraLength = paddingLength - lastDiff.text.length();
2062 lastDiff.text += nullPadding.substring(0, extraLength);
2063 patch.length1 += extraLength;
2064 patch.length2 += extraLength;