extensions_ui: Respect category filter for installed extensions when searching (#49183)

Marshall Bowers created 2 months ago

This PR updates the extensions UI to respect the category filter for
already-installed extensions when searching for extensions.

Closes #48628.

Release Notes:

- The extension search will now properly respect the category filter for
extensions that are already installed
([#48628](https://github.com/zed-industries/zed/issues/48628)).

Change summary

crates/extensions_ui/src/extensions_ui.rs | 4 ++++
1 file changed, 4 insertions(+)

Detailed changes

crates/extensions_ui/src/extensions_ui.rs

@@ -487,6 +487,10 @@ impl ExtensionsPage {
                         matches!(status, ExtensionStatus::NotInstalled)
                     }
                 })
+                .filter(|(_, extension)| match self.provides_filter {
+                    Some(provides) => extension.manifest.provides.contains(&provides),
+                    None => true,
+                })
                 .map(|(ix, _)| ix),
         );
         cx.notify();