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

Dont dump commands when --dump-bytes alone is specified

Browse Source 
dumping commands flushes and therefore is expensive and might change
timing significantly.
This commit is contained in:
Kovid Goyal
2025-10-13 04:16:38 +05:30
parent b627d2e4ab
commit a072a6fd2a
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/boss.py
View File

@@ -270,18 +270,20 @@ class DumpCommands: # {{{
def __init__(self, args: CLIOptions):
self.draw_dump_buf: list[str] = []
self.dump_commands = args.dump_commands
if args.dump_bytes:
self.dump_bytes_to = open(args.dump_bytes, 'wb')
def __call__(self, window_id: int, what: str, *a: Any) -> None:
if what == 'draw':
self.draw_dump_buf.append(a[0])
if self.dump_commands:
self.draw_dump_buf.append(a[0])
elif what == 'bytes':
self.dump_bytes_to.write(a[0])
self.dump_bytes_to.flush()
elif what == 'error':
log_error(*a)
else:
elif self.dump_commands:
if self.draw_dump_buf:
safe_print('draw', ''.join(self.draw_dump_buf))
self.draw_dump_buf = []