diff options
| author | wurstsalat <mailtrash@posteo.de> | 2023-05-28 17:52:30 +0300 |
|---|---|---|
| committer | wurstsalat <mailtrash@posteo.de> | 2023-05-28 17:52:35 +0300 |
| commit | ca7e09da50176c45d9d49ae434ad7de2531ebec1 (patch) | |
| tree | fe83e6fb117ecd1c5f0b487aa12245e7e5488150 | |
| parent | 9aaf4f9d06ac5195f038217e93135209eb18bbcf (diff) | |
fix: Search: Restore group chat participants list to previous state when closing search
Fixes #11536
| -rw-r--r-- | gajim/gtk/chat_page.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gajim/gtk/chat_page.py b/gajim/gtk/chat_page.py index baf0dbb86..49c193a9d 100644 --- a/gajim/gtk/chat_page.py +++ b/gajim/gtk/chat_page.py @@ -75,6 +75,8 @@ class ChatPage(Gtk.Box): self._search_revealer.add(self._search_view) self._ui.right_grid.attach(self._search_revealer, 1, 0, 1, 1) + self._restore_occupants_list = False + self._chat_filter = ChatFilter(icons=True) self._ui.filter_bar.add(self._chat_filter) self._ui.filter_bar_toggle.connect( @@ -168,13 +170,19 @@ class ChatPage(Gtk.Box): self._search_view.set_context(self._chat_control.contact.account, self._chat_control.contact.jid) - # Hide group chat roster in order to make some space horizontally - app.settings.set('hide_groupchat_occupants_list', True) + if not app.settings.get('hide_groupchat_occupants_list'): + # Hide group chat roster in order to make some space horizontally + self._restore_occupants_list = True + app.settings.set('hide_groupchat_occupants_list', True) self._search_revealer.set_reveal_child(True) self._search_view.set_focus() def _on_search_hide(self, *args: Any) -> None: + if self._restore_occupants_list: + app.settings.set('hide_groupchat_occupants_list', False) + self._restore_occupants_list = False + self._search_revealer.set_reveal_child(False) def _on_chat_list_changed(self, |