[gnome-builder] workbench: remove unused property

[Christian Hergert <chergert src gnome org>]

commit 1bcf4ebefc4ba1fd613b6b6be69ee5ec7477a8a9
Author: Christian Hergert <chergert redhat com>
Date:   Mon Sep 17 11:35:12 2018 -0700

    workbench: remove unused property

 src/libide/workbench/ide-workbench-header-bar.ui | 1 -
 1 file changed, 1 deletion(-)
---
diff --git a/src/libide/workbench/ide-workbench-header-bar.ui 
b/src/libide/workbench/ide-workbench-header-bar.ui
index 66cdbc308..53927febe 100644
--- a/src/libide/workbench/ide-workbench-header-bar.ui
+++ b/src/libide/workbench/ide-workbench-header-bar.ui
@@ -84,7 +84,6 @@
                 </child>
               </object>
               <packing>
-                <property name="priority">-100001</property>
                 <property name="pack-type">end</property>
               </packing>
             </child>