From a671c7a1846ebe9a705e98c20a16cce2417eb178 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 11 Feb 2017 12:12:02 +0530 Subject: [PATCH] When detecting URLs remove trailing "] and similar --- kitty/char_grid.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kitty/char_grid.py b/kitty/char_grid.py index ff3456704..babbe618e 100644 --- a/kitty/char_grid.py +++ b/kitty/char_grid.py @@ -374,6 +374,10 @@ class CharGrid: for m in self.url_pat.finditer(text): if m.start() <= x < m.end(): 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: before = l[m.start() - 1] closing = {'(': ')', '[': ']', '{': '}', '<': '>', '"': '"', "'": "'", '`': '`', '|': '|', ':': ':'}.get(before)