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

Another auto-indent fix

Browse Source
This commit is contained in:
Kovid Goyal 2022-09-24 08:34:07 +05:30
parent 0d64246209
commit e98ecc1c4f
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/utils.py
View File

@ -1089,7 +1089,7 @@ def docs_url(which: str = '', local_docs_root: Optional[str] = '') -> str:
def sanitize_for_bracketed_paste(text: bytes) -> bytes: def sanitize_for_bracketed_paste(text: bytes) -> bytes:
pat = re.compile(b'(?:(?:\033\\[)|(?:\x9b))201~') pat = re.compile(b'(?:(?:\033\\\x5b)|(?:\x9b))201~')
while True: while True:
new_text = pat.sub(b'', text) new_text = pat.sub(b'', text)
if new_text == text: if new_text == text: