KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add repeat character to client.py

Browse Source
This commit is contained in:
Kovid Goyal 2021-01-02 12:49:33 +05:30
parent 9ae198ef8f
commit bc8a351558
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/client.py
View File

@ -120,6 +120,10 @@ def screen_report_colors() -> None:
write(CSI + '#R')
def screen_repeat_character(num: int) -> None:
write(CSI + '%db' % num)
def screen_insert_characters(count: int) -> None:
write(CSI + '%d@' % count)