[polari] ui: Remove obsolete hack

[Florian Müllner <fmuellner src gnome org>]

commit d47c534334847bba45951da8e4ecf7e00cbb9f85
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Aug 29 17:21:58 2014 +0200

    ui: Remove obsolete hack
    
    Stop using an empty label to enforce spacing - we *are* already
    using a custom title widget nowadays, so we can just set the
    desired margins properly.
    This also fixes the window controls separator erroneously showing
    up in selection mode.

 data/resources/main-window.ui |   23 ++---------------------
 1 files changed, 2 insertions(+), 21 deletions(-)
---
diff --git a/data/resources/main-window.ui b/data/resources/main-window.ui
index 561da7b..966211a 100644
--- a/data/resources/main-window.ui
+++ b/data/resources/main-window.ui
@@ -116,6 +116,8 @@
             <child type="title">
               <object class="GtkStack" id="stack1">
                 <property name="visible">True</property>
+                <property name="margin-left">24</property>
+                <property name="margin-right">24</property>
                 <child>
                   <object class="GtkBox" id="box5">
                     <property name="visible">True</property>
@@ -176,15 +178,6 @@
               </object>
             </child>
             <child>
-              <object class="GtkLabel" id="label1">
-                <property name="visible">True</property>
-                <!-- we want some margin around title/subtitle - setting
-                     it on the first and last button has the same effect,
-                     and spares us from using a custom title widget -->
-                <property name="width-request">24</property>
-              </object>
-            </child>
-            <child>
               <object class="GtkToggleButton" id="show_user_list_button">
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
@@ -201,18 +194,6 @@
                 <property name="pack_type">end</property>
               </packing>
             </child>
-            <child>
-              <object class="GtkLabel" id="label2">
-                <property name="visible">True</property>
-                <!-- we want some margin around title/subtitle - setting
-                     it on the first and last button has the same effect,
-                     and spares us from using a custom title widget -->
-                <property name="width-request">24</property>
-              </object>
-              <packing>
-                <property name="pack_type">end</property>
-              </packing>
-            </child>
           </object>
         </child>
       </object>