From 1667b36abd7075119101ed29b74e9dc1c9eaff74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 20 Dec 2023 14:32:31 +0100 Subject: [PATCH] extensions-app: Overhaul search Instead of awkwardly filtering two different lists, use a separate search page that filters a single list, similar to what libadwaita does for preference windows. Part-of: --- .../data/ui/extensions-window.ui | 40 +++++++++++++++++++ .../extensions-app/js/extensionsWindow.js | 40 ++++++++----------- 2 files changed, 57 insertions(+), 23 deletions(-) diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui index ba8470ce3..51ce6db3f 100644 --- a/subprojects/extensions-app/data/ui/extensions-window.ui +++ b/subprojects/extensions-app/data/ui/extensions-window.ui @@ -49,6 +49,10 @@ + + sortModel + searchFilter +