mirror of
https://github.com/aclist/dztui.git
synced 2026-10-28 21:52:46 +01:00
fix: start filters insensitive if tree is empty
This commit is contained in:
1 parent
d92a0010e2
commit
8e6cff4bf0
5 files changed
+44
-21
No files matched your search
@@ -60,6 +60,11 @@ class Emitter(GObject.GObject):
|
||||
def check_button_pressed(self, keyval: int) -> None:
|
||||
"""User toggled filter panel check button via keyboard"""
|
||||
|
||||
@GObject.Signal(flags=GObject.SignalFlags.RUN_LAST, arg_types=(object,))
|
||||
def server_page_changed(self, keyval: int) -> None:
|
||||
"""Triggered on 'switch-page' signal within tabs of NotebookPage.SERVERS."""
|
||||
pass
|
||||
|
||||
@GObject.Signal(flags=GObject.SignalFlags.RUN_LAST, arg_types=(bool,))
|
||||
def server_page_toggled(self, keyval: int) -> None:
|
||||
"""Triggered on map/unmap signal from NotebookPage.SERVERS. Shows/hides grid panels."""
|
||||
|
||||
Reference in new issue
Block a user