Lines Matching full:max_digits
1738 function padding(value, max_digits) {
1739 var padding_digits = max_digits - digitsIn(value);
1761 var max_digits = digitsIn(body.count);
1769 result += ' [' + padding(index, max_digits) + index + '] id '+ entry.id +
1800 var max_digits;
1824 max_digits = digitsIn(length + roots_count);
1829 result += ' [' + padding(index, max_digits) + index + '] ' +
1836 result += ' [' + padding(index, max_digits) + index + '] ' +
1847 result += ' [' + padding(index, max_digits) + index + '] ' +
1871 max_digits = digitsIn(length);
1886 result += ' ['+ padding(index, max_digits) + index +']';