From 169fa2e7b76e05b0eec062d395954da22e5600a2 Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Thu, 13 Mar 2025 16:04:12 -0700 Subject: [PATCH] feat: Print terminal dimensions after parsing header --- scripts/redact-cast.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/redact-cast.py b/scripts/redact-cast.py index 42064a38e..8d8b9aa74 100755 --- a/scripts/redact-cast.py +++ b/scripts/redact-cast.py @@ -25,6 +25,8 @@ def main(): header_data = json.loads(header) width = header_data.get("width", 80) height = header_data.get("height", 24) + + print(f"Terminal dimensions: {width}x{height}") # Initialize pyte screen and stream with dimensions from header screen = pyte.Screen(width, height)