(self)
| 1959 | self.all_logical_lines.pop() |
| 1960 | |
| 1961 | def prompt_undo(self): |
| 1962 | if self.buffer: |
| 1963 | return self.take_back_buffer_line() |
| 1964 | if self.history and not self.history[-1]: |
| 1965 | return self.take_back_empty_line() |
| 1966 | |
| 1967 | def prompt_for_undo(): |
| 1968 | n = super(BaseRepl, self).prompt_undo() |
| 1969 | if n > 0: |
| 1970 | self.request_undo(n=n) |
| 1971 | |
| 1972 | greenlet.greenlet(prompt_for_undo).switch() |
| 1973 | |
| 1974 | def redo(self) -> None: |
| 1975 | if self.redo_stack: |
no test coverage detected