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

[Christian Hergert <chergert src gnome org>]

commit 19788390b2bacd649f72d6a0b91c9b73673e18b6
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>