Home | History | Annotate | Download | only in plaintext

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;