diff --git a/mypy.ini b/mypy.ini index 4949c784b..1e0aa6480 100644 --- a/mypy.ini +++ b/mypy.ini @@ -144,5 +144,5 @@ check_untyped_defs = True # [mypy-qutebrowser.misc.*] # check_untyped_defs = True -# [mypy-qutebrowser.app] -# check_untyped_defs = True +[mypy-qutebrowser.app] +check_untyped_defs = True diff --git a/qutebrowser/app.py b/qutebrowser/app.py index 831a5cca2..dca319d2a 100644 --- a/qutebrowser/app.py +++ b/qutebrowser/app.py @@ -110,7 +110,8 @@ def run(args): q_app.setApplicationName("qutebrowser") q_app.setDesktopFileName("org.qutebrowser.qutebrowser") q_app.setApplicationVersion(qutebrowser.__version__) - q_app.lastWindowClosed.connect(quitter.on_last_window_closed) + q_app.lastWindowClosed.connect( # type: ignore + quitter.on_last_window_closed) if args.version: print(version.version()) @@ -350,7 +351,7 @@ def _open_startpage(win_id=None): If set, open the startpage in the given window. """ if win_id is not None: - window_ids = [win_id] + window_ids = [win_id] # type: typing.Iterable[int] else: window_ids = objreg.window_registry for cur_win_id in list(window_ids): # Copying as the dict could change