From a0cfefb627923a5975a4d5e2f1b500e0f0178eb9 Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Tue, 19 Apr 2022 18:24:50 -0400
Subject: [PATCH] Stop 'Extension did not provide any UI' error

Fixes #1633
---
 prefs.js | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/prefs.js b/prefs.js
index 2ccf6c4..78180f1 100644
--- a/prefs.js
+++ b/prefs.js
@@ -2464,7 +2464,16 @@ function fillPreferencesWindow(window) {
     let preferences = new Preferences();
     let box = new Gtk.Box({orientation: Gtk.Orientation.VERTICAL});
 
-    imports.gi.Adw && box.append(new imports.gi.Adw.HeaderBar);
+    if (imports.gi.Adw) {
+        // dummy page to prevent 'Extension did not provide any UI'
+        // error until we migrate to Adw
+        let dummyPage = new imports.gi.Adw.PreferencesPage()
+
+        box.append(new imports.gi.Adw.HeaderBar);
+        window.add(dummyPage);
+        window.visible_page = dummyPage
+    }
+
     box.append(preferences.notebook);
     window.set_content(box);
 }