[gnome-builder/gnome-builder-3-36] gui: use GtkHeaderBar instead of IdeHeaderBar

[Christian Hergert <chergert src gnome org>]

commit bf256f3845af8f2efb526086bc181bedd198f4b8
Author: Christian Hergert <chergert redhat com>
Date:   Fri May 1 11:09:21 2020 -0700

    gui: use GtkHeaderBar instead of IdeHeaderBar
    
    The hexpand from the priority boxes complicate things here so we can just
    use GtkHeaderBar directly for the preferences window. We aren't putting
    any transfer notifications in there anyway.
    
    Fixes #1199

 src/libide/gui/ide-preferences-window.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/gui/ide-preferences-window.ui b/src/libide/gui/ide-preferences-window.ui
index a02207197..33258b7d1 100644
--- a/src/libide/gui/ide-preferences-window.ui
+++ b/src/libide/gui/ide-preferences-window.ui
@@ -2,7 +2,7 @@
 <interface>
   <template class="IdePreferencesWindow" parent="DzlApplicationWindow">
     <child type="titlebar">
-      <object class="IdeHeaderBar" id="header_bar">
+      <object class="GtkHeaderBar" id="header_bar">
         <property name="title" translatable="yes">Preferences</property>
         <property name="show-close-button">true</property>
         <property name="visible">true</property>