mirror of
https://github.com/encounter/zed.git
synced 2026-03-30 11:44:33 -07:00
4e5b11a0a7
This PR adds the general structure for filtering the extensions list by what the extensions provide. Currently flagged for Zed staff until we get some design direction on how best to present the filter. Release Notes: - N/A