From 7d04b26366455afd6fc8f4e137a2c4f1b66f23aa Mon Sep 17 00:00:00 2001 From: Neon22 <899355+Neon22@users.noreply.github.com> Date: Sat, 25 Jan 2025 23:53:27 +1300 Subject: [PATCH] Update terminal.md Added example on resizing the terminal to take up less on-screen space --- docs/user-guide/terminal.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/docs/user-guide/terminal.md b/docs/user-guide/terminal.md index 4b14c29..374d04f 100644 --- a/docs/user-guide/terminal.md +++ b/docs/user-guide/terminal.md @@ -111,6 +111,15 @@ It's very simple to clear a PyTerminal: ``` +### Resize the terminal + +The terminal takes up a fair amount of room onscreen. It can be resized to use less. +Here it is 10 lines high. +```python title="Resizing the terminal in python" +if '__terminal__' in locals(): # has a terminal been created + __terminal__.resize(60, 10) # (width, height) +``` + ### Terminal colors Colors and most special characters work so you can make the text **bold** or