More efficient encoding for cmdline in the prompt marking escape code

This commit is contained in:
Kovid Goyal
2024-05-09 12:03:02 +05:30
parent 1e528fd299
commit 219e53826b
5 changed files with 10 additions and 12 deletions

View File

@@ -15,6 +15,7 @@ import time
from contextlib import contextmanager
from functools import wraps
from pty import CHILD, STDIN_FILENO, STDOUT_FILENO, fork
from typing import Optional
from unittest import TestCase
from kitty.config import finalize_keys, finalize_mouse_mappings
@@ -64,7 +65,7 @@ class Callbacks:
def color_profile_popped(self, x) -> None:
pass
def cmd_output_marking(self, is_start: bool) -> None:
def cmd_output_marking(self, is_start: Optional[bool], data: str = '') -> None:
pass
def request_capabilities(self, q) -> None: