(text: str)
| 53 | |
| 54 | |
| 55 | def _strip_final_indent(text: str) -> str: |
| 56 | # kill spaces and tabs at the end, but only if they follow '\n'. |
| 57 | # meant to remove the auto-indentation only (although it would of |
| 58 | # course also remove explicitly-added indentation). |
| 59 | short = text.rstrip(" \t") |
| 60 | n = len(short) |
| 61 | if n > 0 and text[n - 1] == "\n": |
| 62 | return short |
| 63 | return text |
| 64 | |
| 65 | |
| 66 | def _clear_screen(): |
no test coverage detected
searching dependent graphs…