Function addToLogHeader

src/extension/utils/log.ts:57–63

(f: () => string)

	].join(platformEol);
}
export function addToLogHeader(f: () => string) {
	try {
		logHeader.push(f().replace(/\r/g, "").replace(/\n/g, "\r\n"));
	} catch {
		// Don't log here; we may be trying to access things that aren't available yet.
	}
}