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

Add shell_prompt_marking to client

Browse Source
This commit is contained in:
Kovid Goyal 2021-08-05 08:04:42 +05:30
parent 35c608ae77
commit aa739cdfd4
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
kitty/client.py
View File

@ -211,6 +211,10 @@ set_dynamic_color = set_color_table_color = process_cwd_notification = write_osc
clipboard_control_pending: str = '' clipboard_control_pending: str = ''
def shell_prompt_marking(payload: str) -> None:
write_osc(133, payload)
def clipboard_control(payload: str) -> None: def clipboard_control(payload: str) -> None:
global clipboard_control_pending global clipboard_control_pending
code, data = payload.split(';', 1) code, data = payload.split(';', 1)
@ -228,7 +232,10 @@ def clipboard_control(payload: str) -> None:
def replay(raw: str) -> None: def replay(raw: str) -> None:
specials = {'draw', 'set_title', 'set_icon', 'set_dynamic_color', 'set_color_table_color', 'process_cwd_notification', 'clipboard_control'} specials = {
'draw', 'set_title', 'set_icon', 'set_dynamic_color', 'set_color_table_color',
'process_cwd_notification', 'clipboard_control', 'shell_prompt_marking'
}
for line in raw.splitlines(): for line in raw.splitlines():
if line.strip() and not line.startswith('#'): if line.strip() and not line.startswith('#'):
cmd, rest = line.partition(' ')[::2] cmd, rest = line.partition(' ')[::2]