Some more commands for replay commands

This commit is contained in:
Kovid Goyal 2020-06-29 13:04:10 +05:30
parent 025f6d7701
commit f0c3641ebd
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C

View file

@ -88,6 +88,18 @@ def screen_indexn(n: int) -> None:
write(CSI + '%dS' % n)
def screen_delete_characters(count: int) -> None:
write(CSI + '%dP' % count)
def screen_insert_characters(count: int) -> None:
write(CSI + '%d@' % count)
def screen_scroll(count: int) -> None:
write(CSI + '%dS' % count)
def screen_erase_in_display(how: int, private: bool) -> None:
write(CSI + ('?' if private else '') + str(how) + 'J')
@ -116,6 +128,10 @@ def screen_linefeed() -> None:
write('\n')
def screen_tab() -> None:
write('\t')
def screen_backspace() -> None:
write('\x08')