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";
128170 var headerPadding = Math.max(numberLength(maxErrors) - leftColumnHeadingLength, 0);128172 tabularData += " ".repeat(headerPadding) + headerRow + "\n";
106535 var headerPadding = Math.max(numberLength(maxErrors) - leftColumnHeadingLength, 0);106537 tabularData += " ".repeat(headerPadding) + headerRow + "\n";