mirror of
https://github.com/aclist/dztui.git
synced 2026-11-01 15:42:51 +01:00
feat: wrap TreeModelFilter in TreeModelSort
This commit is contained in:
1 parent
8665292ff8
commit
2f6a78fc65
10 files changed
+32
-15
No files matched your search
@@ -13,5 +13,6 @@ class HelpMenuMixin:
|
||||
self, widget: Gtk.Widget, event: Gdk.EventKey
|
||||
) -> Literal[True]:
|
||||
if event.keyval == Gdk.KEY_Escape:
|
||||
self.controller.open_page(NotebookPage.HELP) # type: ignore
|
||||
prior = self.controller.get_prior_page()
|
||||
self.controller.open_page(prior) # type: ignore
|
||||
return True
|
||||
Reference in new issue
Block a user