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