tworu/dzgui
1
0
Fork 0
mirror of https://github.com/aclist/dztui.git synced 2026-08-28 02:37:20 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

chore: clear typehinting errors

Browse Source
This commit is contained in:
aclist 2026-05-02 00:14:37 +09:00
parent 11356547bf
commit 806e05977d
2 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
dzgui/controllers/mc.py
View File

@ -177,7 +177,6 @@ class Controller(GObject.GObject):
self.open_page(NotebookPage.DEVELOPERS)
def open_page(self, page: NotebookPage) -> None:
print(page)
self.mediator.grid.notebook.set_page_by_enum(page)
def open_page_by_button(self, button: "ContextualButton") -> None:
@ -449,5 +448,5 @@ class Controller(GObject.GObject):
def set_exit_event(self) -> None:
self.exit_event.set()
def get_exit_event(self) -> None:
def get_exit_event(self) -> threading.Event:
return self.exit_event

8
dzgui/views/components/filter_panel.py
View File

@ -212,6 +212,9 @@ class FilterPanel(Gtk.Box):
return
if text == self.sel_map:
return
i: int
row: Gtk.TreeModelRow
for i, row in enumerate(model):
if text == row[0]:
self.maps_combo.set_active(i)
@ -219,6 +222,9 @@ class FilterPanel(Gtk.Box):
def _on_maps_loaded(self, emitter: "Emitter", store: Gtk.ListStore) -> None:
self.maps_combo.set_model(store)
tv = self.controller.get_active_treeview()
ind: int
name: str
ind, name = tv.filter_man.get_active_map()
# NOTE: setting active index triggers a 'changed' signal on self.maps_combo
self.block_map_change_propagation = True
@ -256,7 +262,7 @@ class FilterPanel(Gtk.Box):
) -> None:
self.maps_combo.set_active_iter(it)
def _on_map_completion(self, entry, editable):
def _on_map_completion(self, entry: Gtk.Entry, editable: Literal[True]):
text = entry.get_text()
completion = entry.get_completion()
store = self.controller.get_map_store()