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

Merge branch 'master' of https://github.com/dcolascione/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2018-06-08 17:53:08 +05:30
commit 59ab22c0c8
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/window.py
View File

@ -431,7 +431,11 @@ class Window:
if isinstance(text, str): if isinstance(text, str):
text = text.encode('utf-8') text = text.encode('utf-8')
if self.screen.in_bracketed_paste_mode: if self.screen.in_bracketed_paste_mode:
text = text.replace(b'\033[201~', b'').replace(b'\x9b201~', b'') while True:
new_text = text.replace(b'\033[201~', b'').replace(b'\x9b201~', b'')
if text == new_text:
break
text = new_text
self.screen.paste(text) self.screen.paste(text)
def copy_to_clipboard(self): def copy_to_clipboard(self):