Cover settings

dungeonbattle/menus.py

@@ -1,6 +1,6 @@
 import sys
 from enum import Enum
-from typing import Any
+from typing import Any, Optional
 
 from .enums import GameMode, KeyValues
 from .settings import Settings
@@ -59,8 +59,8 @@ class SettingsMenu(Menu):
         s = settings.dumps_to_string()
         self.values = s[6:-2].replace("\"", "").split(",\n    ")
 
-    def handle_key_pressed(self, key: KeyValues, raw_key: str, game: Any) \
-            -> None:
+    def handle_key_pressed(self, key: Optional[KeyValues], raw_key: str,
+                           game: Any) -> None:
         """
         For now, in the settings mode, we can only go backwards.
         """