Resize the terminal to the given dimensions. Args: width: The new width of the terminal. height: The new height of the terminal.
(self, width: int, height: int)
| 84 | await self._wait_for_screen() |
| 85 | |
| 86 | async def resize_terminal(self, width: int, height: int) -> None: |
| 87 | """Resize the terminal to the given dimensions. |
| 88 | |
| 89 | Args: |
| 90 | width: The new width of the terminal. |
| 91 | height: The new height of the terminal. |
| 92 | """ |
| 93 | size = Size(width, height) |
| 94 | # If we're running with the headless driver, update the inherent app size. |
| 95 | if isinstance(self.app._driver, HeadlessDriver): |
| 96 | self.app._driver._size = size |
| 97 | self.app.post_message(Resize(size, size)) |
| 98 | await self.pause() |
| 99 | |
| 100 | async def mouse_down( |
| 101 | self, |