src/vs/workbench/contrib/debug/browser/debugEditorContribution.ts/replaceWsWithNoBreakWs
function replaceWsWithNoBreakWs(str: string): string {
	return str.replace(/[ \t]/g, strings.noBreakWhitespace);
}