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

Micro-optimization

Browse Source
This commit is contained in:
Kovid Goyal 2018-06-26 16:02:05 +05:30
parent 3b1490020d
commit 5362d1a7a6
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/window.py
View File

@ -438,7 +438,7 @@ class Window:
if self.screen.in_bracketed_paste_mode: if self.screen.in_bracketed_paste_mode:
while True: while True:
new_text = text.replace(b'\033[201~', b'').replace(b'\x9b201~', b'') new_text = text.replace(b'\033[201~', b'').replace(b'\x9b201~', b'')
if text == new_text: if len(text) == len(new_text):
break break
text = new_text text = new_text
self.screen.paste(text) self.screen.paste(text)