X-Git-Url: https://git.madduck.net/etc/vim.git/blobdiff_plain/e1036119f264a846bb049fad8404df318bc2f455..9edba85f71d50d12996ef7bda576426362016171:/scripts/make_width_table.py diff --git a/scripts/make_width_table.py b/scripts/make_width_table.py index 89c2025..3c7cae6 100644 --- a/scripts/make_width_table.py +++ b/scripts/make_width_table.py @@ -15,11 +15,12 @@ You can do this by running: pip install -U wcwidth """ + import sys from os.path import basename, dirname, join from typing import Iterable, Tuple -import wcwidth +import wcwidth # type: ignore[import] def make_width_table() -> Iterable[Tuple[int, int, int]]: @@ -52,13 +53,7 @@ def main() -> None: f.write(f"""# Generated by {basename(__file__)} # wcwidth {wcwidth.__version__} # Unicode {wcwidth.list_versions()[-1]} -import sys -from typing import List, Tuple - -if sys.version_info < (3, 8): - from typing_extensions import Final -else: - from typing import Final +from typing import Final, List, Tuple WIDTH_TABLE: Final[List[Tuple[int, int, int]]] = [ """)