Add type information for tui operations cmds

This commit is contained in:
Kovid Goyal 2020-03-10 22:25:57 +05:30
parent 10435c23c2
commit bb8cab3a02
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
5 changed files with 83 additions and 14 deletions

View file

@ -72,6 +72,8 @@ def type_check() -> NoReturn:
generate_stub()
from kitty.options_stub import generate_stub # type: ignore
generate_stub()
from kittens.tui.operations_stub import generate_stub # type: ignore
generate_stub()
os.execlp(sys.executable, 'python', '-m', 'mypy', '--pretty')