(self)
| 424 | self.saved_history_length = length |
| 425 | |
| 426 | def get_current_history_length(self) -> int: |
| 427 | return len(self.get_reader().history) |
| 428 | |
| 429 | def read_history_file(self, filename: str = gethistoryfile()) -> None: |
| 430 | # multiline extension (really a hack) for the end of lines that |