[gnome-shell/wip/fmuellner/gtk4: 3/10] dbusServices/extensions: Set title on window instead of headerbar

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

commit 53546d97f9d5cb004a2052e716d58aad57e99da6
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Apr 15 20:27:15 2020 +0200

    dbusServices/extensions: Set title on window instead of headerbar
    
    GTK4 will remove the GtkHeaderBar:title property, so stop using it
    and set the window's title property instead, as that's what headbars
    use in both GTK3 and GTK4 unless explicitly overridden.

 js/dbusServices/extensions/extensionsService.js | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)
---
diff --git a/js/dbusServices/extensions/extensionsService.js b/js/dbusServices/extensions/extensionsService.js
index 9d444c5510..cc40a56d7e 100644
--- a/js/dbusServices/extensions/extensionsService.js
+++ b/js/dbusServices/extensions/extensionsService.js
@@ -156,7 +156,6 @@ var ExtensionPrefsDialog = GObject.registerClass({
     GTypeName: 'ExtensionPrefsDialog',
     Template: 'resource:///org/gnome/Shell/Extensions/ui/extension-prefs-dialog.ui',
     InternalChildren: [
-        'headerBar',
         'stack',
         'expander',
         'expanderArrow',
@@ -165,13 +164,13 @@ var ExtensionPrefsDialog = GObject.registerClass({
     ],
 }, class ExtensionPrefsDialog extends Gtk.Window {
     _init(extension) {
-        super._init();
+        super._init({
+            title: extension.metadata.name,
+        });
 
         this._uuid = extension.uuid;
         this._url = extension.metadata.url || '';
 
-        this._headerBar.title = extension.metadata.name;
-
         this._actionGroup = new Gio.SimpleActionGroup();
         this.insert_action_group('win', this._actionGroup);