diff --git a/mypy.ini b/mypy.ini index 7a859edce..0b62ded7c 100644 --- a/mypy.ini +++ b/mypy.ini @@ -157,3 +157,7 @@ disallow_incomplete_defs = True [mypy-qutebrowser.utils.urlutils] disallow_untyped_defs = True disallow_incomplete_defs = True + +[mypy-qutebrowser.utils.usertypes] +disallow_untyped_defs = True +disallow_incomplete_defs = True diff --git a/qutebrowser/utils/usertypes.py b/qutebrowser/utils/usertypes.py index 0030b74d5..d458dd5b6 100644 --- a/qutebrowser/utils/usertypes.py +++ b/qutebrowser/utils/usertypes.py @@ -452,7 +452,7 @@ class NavigationRequest: 'other' ]) - url = attr.ib() - navigation_type = attr.ib() - is_main_frame = attr.ib() - accepted = attr.ib(default=True) + url = attr.ib() # type: QUrl + navigation_type = attr.ib() # type: Type + is_main_frame = attr.ib() # type: bool + accepted = attr.ib(default=True) # type: bool