(self, char: int | bytes)
| 749 | return True |
| 750 | |
| 751 | def push_char(self, char: int | bytes) -> None: |
| 752 | self.console.push_char(char) |
| 753 | self.handle1(block=False) |
| 754 | |
| 755 | def readline(self, startup_hook: Callback | None = None) -> str: |
| 756 | """Read a line. The implementation of this method also shows |