Enable searching the preferences

stuarthayhurst · Aug 18, 2023 · a1d85e6 · a1d85e6
1 parent a499177
commit a1d85e6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/extension/prefs.js b/extension/prefs.js
@@ -115,7 +115,8 @@ export default class PrivacyPreferences extends ExtensionPreferences {
     //Create settings page from info
     let settingsPage = new PrefsPage(pageInfo, groupsInfo, settingsInfo, this.getSettings());
 
-    //Add the pages to the window
+    //Add the pages to the window, enable searching
     window.add(settingsPage);
+    window.set_search_enabled(true);
   }
 }