mirror of
https://github.com/aclist/dztui.git
synced 2026-11-02 16:12:11 +01:00
fix: duplicate records in saved servers
This commit is contained in:
1 parent
c4878ad97c
commit
66909b668b
3 files changed
+9
-13
No files matched your search
@@ -69,8 +69,7 @@ class RightPanel(Gtk.Box):
|
||||
def _on_servers_loaded(self, emitter: "Emitter", context: "ServerTab") -> None:
|
||||
# TODO: similar logic on notebook page change
|
||||
state = self.controller.has_server_model()
|
||||
for widget in self.filters_vbox:
|
||||
widget.set_sensitive(state)
|
||||
self.filters_vbox.set_sensitive(state)
|
||||
|
||||
def _on_version_clicked(self, widget: Gtk.EventBox, event: Gdk.EventButton) -> None:
|
||||
def revert() -> GLib.SOURCE_REMOVE:
|
||||
|
||||
Reference in new issue
Block a user