Daniel Brötzmann pushed to branch master at gajim / gajim
Commits:
7747f416 by wurstsalat at 2025-06-10T16:58:23+02:00
refactor: Preferences: Use Adw 1.7 method to set page banner
- - - - -
e77f07a0 by wurstsalat at 2025-06-10T17:03:19+02:00
cfix: OMEMO trust manager: Add missing margin at the bottom
- - - - -
2 changed files:
- gajim/data/gui/omemo_trust_manager.ui
- gajim/gtk/preferences.py
Changes:
=====================================
gajim/data/gui/omemo_trust_manager.ui
=====================================
@@ -194,6 +194,7 @@
<child>
<object class="GtkListBox" id="list">
<property name="vexpand">1</property>
+ <property name="margin-bottom">24</property>
<property name="selection-mode">none</property>
<style>
<class name="boxed-list"/>
=====================================
gajim/gtk/preferences.py
=====================================
@@ -220,10 +220,7 @@ def __init__(self) -> None:
button_label=page.banner.button_label,
action_name=page.banner.action_name,
)
- # Workaround for preferences_page.set_banner(page_banner)
- # which is only available from Adw 1.7
- scrolled = preferences_page.get_first_child()
- page_banner.insert_before(preferences_page, scrolled)
+ preferences_page.set_banner(page_banner)
stack_page = stack.add_named(preferences_page, page.name)
stack_page.set_title(page.title)
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/compare/ab88a6b3be3f3bc7f023c00ecfe365bc56a5ae52...e77f07a0712a3285ed236d983acefe6b59e05bb9
--
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/compare/ab88a6b3be3f3bc7f023c00ecfe365bc56a5ae52...e77f07a0712a3285ed236d983acefe6b59e05bb9
You're receiving this email because of your account on dev.gajim.org.
_______________________________________________
Commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]
