without_repeated_whitespace

without_repeated_whitespace#

penzai.treescope.html_escaping.without_repeated_whitespace(s: str) str[source]#

Replaces all repeated whitespace characters with single spaces.