export function countLines(content: string) { return content.split("\n").length; } export function numWidth(num: number) { return num.toString().length; } export function fileExtLanguage(filePath: string) { const dotParts = filePath.split("."); let language = "txt"; if (dotParts.length > 1) language = dotParts[dotParts.length - 1]; return language; } export function extractTrim(line: string) { let spaceBefore = ""; let spaceAfter = ""; const leadingWhitespace = line.match(/(^\s+)/); const trailingWhitespace = line.match(/(\s+$)/); if (leadingWhitespace) spaceBefore = leadingWhitespace[1]; if (trailingWhitespace) spaceAfter = trailingWhitespace[1]; return [spaceBefore, line.trim(), spaceAfter]; } export const LINE_SPLIT_REGEX = /\r\n|\r|\n/;