Searched refs:headerPadding (Results 1 – 3 of 3) sorted by relevance
191 const headerPadding = Math.max(numberLength(maxErrors) - leftColumnHeadingLength, 0); constant194 tabularData += " ".repeat(headerPadding) + headerRow + "\n";
106854 var headerPadding = Math.max(numberLength(maxErrors) - leftColumnHeadingLength, 0);106856 tabularData += " ".repeat(headerPadding) + headerRow + "\n";
128509 var headerPadding = Math.max(numberLength(maxErrors) - leftColumnHeadingLength, 0);128511 tabularData += " ".repeat(headerPadding) + headerRow + "\n";