mirror of
https://github.com/aclist/dztui.git
synced 2026-11-02 16:12:11 +01:00
feat: wrap callback function
This commit is contained in:
1 parent
2c8e722d8a
commit
96244a4560
8 files changed
+150
-108
No files matched your search
@@ -44,6 +44,7 @@ class RightPanel(Gtk.Box):
|
||||
state = self.controller.has_server_model()
|
||||
for widget in (self.refresh_button, self.filters_vbox):
|
||||
widget.set_sensitive(state)
|
||||
# FIXME: may wish to reload these in place to show new data
|
||||
if context in (ServerTab.RECENT, ServerTab.SAVED):
|
||||
self.refresh_button.set_sensitive(False)
|
||||
|
||||
|
||||
Reference in new issue
Block a user