Now have sphinx types on dev machine

docs/conf.py

@@ -21,9 +21,9 @@ from pygments.lexer import RegexLexer, bygroups  # type: ignore
 from pygments.token import (  # type: ignore
     Comment, Keyword, Literal, Name, Number, String, Whitespace
 )
-from sphinx import addnodes, version_info  # type: ignore
-from sphinx.builders.html.transforms import KeyboardTransform  # type: ignore
-from sphinx.util.logging import getLogger  # type: ignore
+from sphinx import addnodes, version_info
+from sphinx.builders.html.transforms import KeyboardTransform
+from sphinx.util.logging import getLogger
 
 KeyboardTransform.builders = ('html', 'dirhtml')  # type: ignore
 

kitty_tests/__init__.py

@@ -4,13 +4,12 @@
 import os
 from unittest import TestCase
 
-from kitty.config import (
-    Options, defaults, finalize_keys, finalize_mouse_mappings
-)
+from kitty.config import finalize_keys, finalize_mouse_mappings
 from kitty.fast_data_types import (
     Cursor, HistoryBuf, LineBuf, Screen, set_options
 )
 from kitty.options.parse import merge_result_dicts
+from kitty.options.types import Options, defaults
 from kitty.types import MouseEvent
 
 

setup.cfg

@@ -30,8 +30,3 @@ disallow_untyped_calls = True
 disallow_incomplete_defs = True
 strict = True
 no_implicit_reexport = True
-
-[mypy-conf]
-# ignored because on the CI server sphinx type stubs are available somehow, but
-# not on my dev machine
-warn_unused_ignores = False