From b8e9921f3d4521ad0c2bd5f2b4e9ac4f2f818c6c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 10 May 2018 16:20:58 +0530 Subject: [PATCH] Forgot this file in previous commit --- kittens/tui/operations.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/kittens/tui/operations.py b/kittens/tui/operations.py index 14f62572f..5d4ae6445 100644 --- a/kittens/tui/operations.py +++ b/kittens/tui/operations.py @@ -74,7 +74,9 @@ def set_cursor_position(x, y) -> str: # (0, 0) is top left return '\033[{};{}H'.format(y + 1, x + 1) -def set_scrolling_region(screen_size, top=None, bottom=None) -> str: +def set_scrolling_region(screen_size=None, top=None, bottom=None) -> str: + if screen_size is None: + return '\033[r' if top is None: top = 0 if bottom is None: