shell: Synchronize the right panel width

This will help the right panel to behave properly with leaflets, as we
are going to introduce some in some following commits.
This commit is contained in:
Adrien Plazas 2018-11-27 16:10:32 +01:00 committed by Georges Basile Stavracas Neto
parent 9d9c547649
commit 4c813fa1d8

View file

@ -245,6 +245,15 @@
</widgets>
</object>
<!-- Synchronize right header and panel -->
<object class="GtkSizeGroup">
<property name="mode">horizontal</property>
<widgets>
<widget name="panel_headerbar"/>
<widget name="stack"/>
</widgets>
</object>
<!-- Warning dialog for development builds -->
<object class="GtkMessageDialog" id="development_warning_dialog">
<property name="message-type">warning</property>