From 3633049ba503577d596ec7102ee73b05d564f033 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 19 Jul 2021 18:09:00 +0530 Subject: [PATCH] Forgot to include \r in the url regex --- gen-wcwidth.py | 3 ++- kittens/hints/url_regex.py | 4 +++- kittens/unicode_input/names.h | 2 +- kitty/emoji.h | 2 +- kitty/unicode-data.c | 2 +- kitty/wcwidth-std.h | 2 +- 6 files changed, 9 insertions(+), 6 deletions(-) diff --git a/gen-wcwidth.py b/gen-wcwidth.py index 6f4fa2839..884a9b42d 100755 --- a/gen-wcwidth.py +++ b/gen-wcwidth.py @@ -388,7 +388,8 @@ def gen_ucd() -> None: rmap[0xfe0e], rmap[0xfe0f] )) with open('kittens/hints/url_regex.py', 'w') as f: - f.write("url_delimiters = '{}' # noqa".format(''.join(classes_to_regex(cz, exclude='\n')))) + f.write('# generated by gen-wcwidth.py, do not edit\n\n') + f.write("url_delimiters = '{}' # noqa".format(''.join(classes_to_regex(cz, exclude='\n\r')))) def gen_names() -> None: diff --git a/kittens/hints/url_regex.py b/kittens/hints/url_regex.py index 8d41c5e55..54f753bd8 100644 --- a/kittens/hints/url_regex.py +++ b/kittens/hints/url_regex.py @@ -1 +1,3 @@ -url_delimiters = '\x00-\x09\x0b-\x20\x7f-\xa0\xad\u0600-\u0605\u061c\u06dd\u070f\u08e2\u1680\u180e\u2000-\u200f\u2028-\u202f\u205f-\u2064\u2066-\u206f\u3000\ud800-\uf8ff\ufeff\ufff9-\ufffb\U000110bd\U000110cd\U00013430-\U00013438\U0001bca0-\U0001bca3\U0001d173-\U0001d17a\U000e0001\U000e0020-\U000e007f\U000f0000-\U000ffffd\U00100000-\U0010fffd' # noqa \ No newline at end of file +# generated by gen-wcwidth.py, do not edit + +url_delimiters = '\x00-\x09\x0b-\x0c\x0e-\x20\x7f-\xa0\xad\u0600-\u0605\u061c\u06dd\u070f\u08e2\u1680\u180e\u2000-\u200f\u2028-\u202f\u205f-\u2064\u2066-\u206f\u3000\ud800-\uf8ff\ufeff\ufff9-\ufffb\U000110bd\U000110cd\U00013430-\U00013438\U0001bca0-\U0001bca3\U0001d173-\U0001d17a\U000e0001\U000e0020-\U000e007f\U000f0000-\U000ffffd\U00100000-\U0010fffd' # noqa \ No newline at end of file diff --git a/kittens/unicode_input/names.h b/kittens/unicode_input/names.h index 33988fc7c..0c7b43c28 100644 --- a/kittens/unicode_input/names.h +++ b/kittens/unicode_input/names.h @@ -1,4 +1,4 @@ -// unicode data, built from the unicode standard on: 2021-04-02 +// unicode data, built from the unicode standard on: 2021-07-19 // see gen-wcwidth.py #pragma once #include "data-types.h" diff --git a/kitty/emoji.h b/kitty/emoji.h index cbb64767b..19a82552a 100644 --- a/kitty/emoji.h +++ b/kitty/emoji.h @@ -1,4 +1,4 @@ -// unicode data, built from the unicode standard on: 2021-04-02 +// unicode data, built from the unicode standard on: 2021-07-19 // see gen-wcwidth.py #pragma once #include "data-types.h" diff --git a/kitty/unicode-data.c b/kitty/unicode-data.c index a7ae2262a..02d973449 100644 --- a/kitty/unicode-data.c +++ b/kitty/unicode-data.c @@ -1,4 +1,4 @@ -// unicode data, built from the unicode standard on: 2021-04-02 +// unicode data, built from the unicode standard on: 2021-07-19 // see gen-wcwidth.py #include "data-types.h" diff --git a/kitty/wcwidth-std.h b/kitty/wcwidth-std.h index ba73c966d..a039e4b98 100644 --- a/kitty/wcwidth-std.h +++ b/kitty/wcwidth-std.h @@ -1,4 +1,4 @@ -// unicode data, built from the unicode standard on: 2021-04-02 +// unicode data, built from the unicode standard on: 2021-07-19 // see gen-wcwidth.py #pragma once #include "data-types.h"