mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-25 02:17:03 +00:00
Allow commenting lines in command logs
This commit is contained in:
parent
0e327f3d13
commit
5d4e968f50
1 changed files with 1 additions and 1 deletions
|
|
@ -138,7 +138,7 @@ set_dynamic_color = set_color_table_color = write_osc
|
|||
|
||||
def replay(raw):
|
||||
for line in raw.splitlines():
|
||||
if line.strip():
|
||||
if line.strip() and not line.startswith('#'):
|
||||
cmd, rest = line.partition(' ')[::2]
|
||||
if cmd in {'draw', 'set_title', 'set_icon', 'set_dynamic_color', 'set_color_table_color'}:
|
||||
globals()[cmd](rest)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue