Update from debuggingbook

uds-se · Oct 14, 2023 · 3d31ce3 · 3d31ce3
1 parent 7fa2bdf
commit 3d31ce3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/notebooks/shared/bookutils/__init__.py b/notebooks/shared/bookutils/__init__.py
@@ -206,7 +206,7 @@ def HTML(data: Optional[str] = None,
     global firefox
     if firefox is None:
         options = webdriver.FirefoxOptions()
-        options.headless = headless
+        options.headless = headless  # type: ignore
         options.set_preference("layout.css.devPixelsPerPx", repr(zoom))
         firefox = webdriver.Firefox(options=options)