From 5e6f532f5690cb80586759f653b9679205d89b98 Mon Sep 17 00:00:00 2001 From: Matt Krump <1036969+mkrump@users.noreply.github.com> Date: Tue, 28 Jul 2020 16:52:39 -0600 Subject: [PATCH] Turn on check_untyped_defs for aqt.exporting --- pylib/anki/exporting.py | 5 +++++ qt/mypy.ini | 2 ++ 2 files changed, 7 insertions(+) diff --git a/pylib/anki/exporting.py b/pylib/anki/exporting.py index e5541bb53..b65ae58bc 100644 --- a/pylib/anki/exporting.py +++ b/pylib/anki/exporting.py @@ -19,6 +19,11 @@ from anki.utils import ids2str, namedtmp, splitFields, stripHTML class Exporter: includeHTML: Union[bool, None] = None + ext: Optional[str] = None + key: Optional[str] = None + includeTags: Optional[bool] = None + includeSched: Optional[bool] = None + includeMedia: Optional[bool] = None def __init__( self, diff --git a/qt/mypy.ini b/qt/mypy.ini index 8489500df..d5edf0d1c 100644 --- a/qt/mypy.ini +++ b/qt/mypy.ini @@ -84,3 +84,5 @@ check_untyped_defs=true check_untyped_defs=true [mypy-aqt.editor] check_untyped_defs=true +[mypy-aqt.exporting] +check_untyped_defs=true