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

...

Browse Source
This commit is contained in:
Kovid Goyal
2023-10-30 09:29:28 +05:30
parent 6c0e938d5a
commit dcde461c02
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/boss.py
View File

@@ -233,14 +233,14 @@ class DumpCommands: # {{{
def __call__(self, window_id: int, what: str, *a: Any) -> None:
if what == 'draw':
if a[1] is None:
if a[0] is None:
if self.draw_dump_buf:
safe_print('draw', ''.join(self.draw_dump_buf))
self.draw_dump_buf = []
else:
self.draw_dump_buf.append(a[1])
self.draw_dump_buf.append(a[0])
elif what == 'bytes':
self.dump_bytes_to.write(a[1])
self.dump_bytes_to.write(a[0])
self.dump_bytes_to.flush()
else:
if self.draw_dump_buf: