shell: Synchronize the separators

This will help the separators 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:19:58 +01:00 committed by Georges Basile Stavracas Neto
parent 4c813fa1d8
commit 77aece9920

View file

@ -80,7 +80,7 @@
</packing> </packing>
</child> </child>
<child> <child>
<object class="GtkSeparator"> <object class="GtkSeparator" id="panel_separator">
<property name="visible">True</property> <property name="visible">True</property>
<property name="can_focus">False</property> <property name="can_focus">False</property>
<property name="orientation">vertical</property> <property name="orientation">vertical</property>
@ -194,7 +194,7 @@
</object> </object>
</child> </child>
<child> <child>
<object class="GtkSeparator"> <object class="GtkSeparator" id="header_separator">
<property name="visible">True</property> <property name="visible">True</property>
<property name="can_focus">False</property> <property name="can_focus">False</property>
<property name="orientation">vertical</property> <property name="orientation">vertical</property>
@ -245,6 +245,15 @@
</widgets> </widgets>
</object> </object>
<!-- Synchronize separators -->
<object class="GtkSizeGroup">
<property name="mode">horizontal</property>
<widgets>
<widget name="header_separator"/>
<widget name="panel_separator"/>
</widgets>
</object>
<!-- Synchronize right header and panel --> <!-- Synchronize right header and panel -->
<object class="GtkSizeGroup"> <object class="GtkSizeGroup">
<property name="mode">horizontal</property> <property name="mode">horizontal</property>