(reader: ReadlineAlikeReader, namespace: dict | None = None)
| 19 | |
| 20 | |
| 21 | def multiline_input(reader: ReadlineAlikeReader, namespace: dict | None = None): |
| 22 | saved = reader.more_lines |
| 23 | try: |
| 24 | reader.more_lines = partial(more_lines, namespace=namespace) |
| 25 | reader.ps1 = reader.ps2 = ">>> " |
| 26 | reader.ps3 = reader.ps4 = "... " |
| 27 | return reader.readline() |
| 28 | finally: |
| 29 | reader.more_lines = saved |
| 30 | reader.paste_mode = False |
| 31 | |
| 32 | |
| 33 | def more_lines(text: str, namespace: dict | None = None): |
searching dependent graphs…