mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-14 04:24:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

More typing work

Browse Source
This commit is contained in:
Kovid Goyal
2020-03-06 08:35:23 +05:30
parent 686b5f297e
commit 8a34fede55
8 changed files with 56 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/client.py
View File

@@ -127,16 +127,16 @@ def screen_manipulate_title_stack(op, which):
write(CSI + '%d;%dt' % (op, which))
def report_device_attributes(mode, char):
def report_device_attributes(mode: int, char: int) -> None:
x = CSI
if char:
x += ord(char)
x += chr(char)
if mode:
x += str(mode)
write(CSI + x + 'c')
def write_osc(code, string=''):
def write_osc(code: int, string='') -> None:
if string:
string = ';' + string
write(OSC + str(code) + string + '\x07')