mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-16 21:45:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add url_excluded_characters option to exclude characters from URLs.

Browse Source 
This option, like select_by_word_characters, is a set of characters, but
for which to *exclude* from URL parsing. See
https://github.com/kovidgoyal/kitty/issues/3688#issuecomment-862711148.
This commit is contained in:
Radu Butoi
2021-06-16 23:05:47 -04:00
parent 9ec1c28b35
commit 5ee0651f56
7 changed files with 42 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/options/parse.py generated
View File

@@ -1206,6 +1206,9 @@ class Parser:
def url_color(self, val: str, ans: typing.Dict[str, typing.Any]) -> None:
ans['url_color'] = to_color(val)
def url_excluded_characters(self, val: str, ans: typing.Dict[str, typing.Any]) -> None:
ans['url_excluded_characters'] = str(val)
def url_prefixes(self, val: str, ans: typing.Dict[str, typing.Any]) -> None:
ans['url_prefixes'] = url_prefixes(val)