mirror of
https://github.com/aclist/dztui.git
synced 2026-08-28 02:37:20 +02:00
chore: clear typehinting errors
This commit is contained in:
parent
650a5ecd7b
commit
179f92234a
@ -89,8 +89,9 @@ class FilterManager:
|
||||
continue
|
||||
self.append_map([m])
|
||||
|
||||
# TODO: currently unused
|
||||
def get_unique_maps(self) -> list[str]:
|
||||
return [row[0] for row in self.map_store if row != "All maps"]
|
||||
return [row[0] for row in self.map_store if row[0] != "All maps"]
|
||||
|
||||
def get_all_filters(self) -> tuple:
|
||||
map_name = self.get_active_map_name()
|
||||
|
||||
Loading…
Reference in New Issue
Block a user