Schedule a ScheduledRefreshRequestEvent for when. Such a event should interrupt if blocked waiting for keyboard input
(self, when: float = 0)
| 550 | self._request_reload(files_modified) |
| 551 | |
| 552 | def schedule_refresh(self, when: float = 0) -> None: |
| 553 | """Schedule a ScheduledRefreshRequestEvent for when. |
| 554 | |
| 555 | Such a event should interrupt if blocked waiting for keyboard input""" |
| 556 | if self.reevaluating or self.paste_mode: |
| 557 | self.fake_refresh_requested = True |
| 558 | else: |
| 559 | self._schedule_refresh(when=when) |
| 560 | |
| 561 | def __enter__(self): |
| 562 | self.orig_stdout = sys.stdout |
no test coverage detected