From 77aece9920ee2fb52d843d99b8b1868c12fa9fea Mon Sep 17 00:00:00 2001
From: Adrien Plazas <kekun.plazas@laposte.net>
Date: Tue, 27 Nov 2018 16:19:58 +0100
Subject: [PATCH] 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.
---
 shell/cc-window.ui | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/shell/cc-window.ui b/shell/cc-window.ui
index 33de23797..715cf1b1d 100644
--- a/shell/cc-window.ui
+++ b/shell/cc-window.ui
@@ -80,7 +80,7 @@
           </packing>
         </child>
         <child>
-          <object class="GtkSeparator">
+          <object class="GtkSeparator" id="panel_separator">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="orientation">vertical</property>
@@ -194,7 +194,7 @@
           </object>
         </child>
         <child>
-          <object class="GtkSeparator">
+          <object class="GtkSeparator" id="header_separator">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="orientation">vertical</property>
@@ -245,6 +245,15 @@
     </widgets>
   </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 -->
   <object class="GtkSizeGroup">
     <property name="mode">horizontal</property>