mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-08 14:18:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

Forgot this file in previous commit

Browse Source
This commit is contained in:
Kovid Goyal
2018-05-10 16:20:58 +05:30
parent e0ce5d5629
commit b8e9921f3d
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kittens/tui/operations.py
View File

@@ -74,7 +74,9 @@ def set_cursor_position(x, y) -> str: # (0, 0) is top left
return '\033[{};{}H'.format(y + 1, x + 1) 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: if top is None:
top = 0 top = 0
if bottom is None: if bottom is None: