IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9542 from tk0miya/fix_typehints

Browse Source 
refactor: Fix typehint for HTMLBuilder.css_files
This commit is contained in:
Takeshi KOMIYA 2021-08-13 01:36:36 +09:00 committed by GitHub
commit 950d3db8d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/builders/html/__init__.py
View File

@ -203,7 +203,7 @@ class StandaloneHTMLBuilder(Builder):
super().__init__(app) super().__init__(app)
# CSS files # CSS files
self.css_files: List[Dict[str, str]] = [] self.css_files: List[Stylesheet] = []
# JS files # JS files
self.script_files: List[JavaScript] = [] self.script_files: List[JavaScript] = []
@ -308,7 +308,7 @@ class StandaloneHTMLBuilder(Builder):
if '://' not in filename: if '://' not in filename:
filename = posixpath.join('_static', filename) filename = posixpath.join('_static', filename)
self.css_files.append(Stylesheet(filename, **kwargs)) # type: ignore self.css_files.append(Stylesheet(filename, **kwargs))
def init_js_files(self) -> None: def init_js_files(self) -> None:
self.add_js_file('documentation_options.js', id="documentation_options", self.add_js_file('documentation_options.js', id="documentation_options",