Daniel Brötzmann pushed to branch master at gajim / gajim
Commits:
-
2e6b9c5c
by wurstsalat at 2023-05-21T11:35:55+02:00
-
fc1a327f
by wurstsalat at 2023-05-21T11:36:09+02:00
2 changed files:
Changes:
| ... | ... | @@ -489,7 +489,7 @@ .header-box-first label { |
| 489 | 489 | |
| 490 | 490 | /* SearchView */
|
| 491 | 491 | .search-view {
|
| 492 | - padding: 12px;
|
|
| 492 | + padding: 13px 12px 12px 12px;
|
|
| 493 | 493 | border-left: 1px solid @borders;
|
| 494 | 494 | background-color: @theme_base_color;
|
| 495 | 495 | }
|
| ... | ... | @@ -169,6 +169,9 @@ def _on_search_history(self, |
| 169 | 169 | self._search_view.set_context(self._chat_control.contact.account,
|
| 170 | 170 | self._chat_control.contact.jid)
|
| 171 | 171 | |
| 172 | + # Hide group chat roster in order to make some space horizontally
|
|
| 173 | + app.settings.set('hide_groupchat_occupants_list', True)
|
|
| 174 | + |
|
| 172 | 175 | self._search_revealer.set_reveal_child(True)
|
| 173 | 176 | self._search_view.set_focus()
|
| 174 | 177 |