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

When detecting URLs remove trailing "] and similar

Browse Source
This commit is contained in:
Kovid Goyal 2017-02-11 12:12:02 +05:30
parent 72125701f5
commit a671c7a184
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/char_grid.py
View File

@ -374,6 +374,10 @@ class CharGrid:
for m in self.url_pat.finditer(text): for m in self.url_pat.finditer(text):
if m.start() <= x < m.end(): if m.start() <= x < m.end():
url = ''.join(l[i] for i in range(*m.span())).rstrip('.') url = ''.join(l[i] for i in range(*m.span())).rstrip('.')
# Remove trailing "] and similar
url = re.sub(r'''["'][)}\]]$''', '', url)
# Remove closing trailing character if it is matched by it's
# corresponding opening character before the url
if m.start() > 0: if m.start() > 0:
before = l[m.start() - 1] before = l[m.start() - 1]
closing = {'(': ')', '[': ']', '{': '}', '<': '>', '"': '"', "'": "'", '`': '`', '|': '|', ':': ':'}.get(before) closing = {'(': ')', '[': ']', '{': '}', '<': '>', '"': '"', "'": "'", '`': '`', '|': '|', ':': ':'}.get(before)