Returns 'text' with escaped whitespace replaced through whitespaces.
(text)
| 30 | |
| 31 | |
| 32 | def fill_in_whitespace(text): |
| 33 | """Returns 'text' with escaped whitespace replaced through whitespaces.""" |
| 34 | text = text.replace(r"\n", "\n") |
| 35 | text = text.replace(r"\t", "\t") |
| 36 | text = text.replace(r"\r", "\r") |
| 37 | text = text.replace(r"\a", "\a") |
| 38 | return text.replace(r"\b", "\b") |
| 39 | |
| 40 | |
| 41 | def head_tail(line): |