GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-20 06:52:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

add type hint for media dir

Browse source
This commit is contained in:
BlueGreenMagick 2020-06-07 10:35:48 +09:00
parent 63201d450d
commit c6ec9e44e4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pylib/anki/media.py
View file

@ -44,8 +44,8 @@ class MediaManager:
def __init__(self, col: anki.collection.Collection, server: bool) -> None:
self.col = col.weakref()
self._dir: Optional[str] = None
if server:
self._dir = None
return
# media directory
self._dir = media_paths_from_col_path(self.col.path)[0]
@ -82,7 +82,7 @@ class MediaManager:
# may have been deleted
pass
def dir(self) -> Any:
def dir(self) -> Optional[str]:
return self._dir
def force_resync(self) -> None: