Rework extension filtering to use a `ToggleButton` (#8387)
This PR reworks the extension filtering to use a `ToggleButton`, since the filter states are mutually-exclusive. <img width="1136" alt="Screenshot 2024-02-25 at 10 04 59 AM" src="https://github.com/zed-industries/zed/assets/1486634/52c621da-201c-42b9-805d-62e3ab66f94b"> Release Notes: - N/A
M
Marshall Bowers committed
053b6cc7156a02abf3e30e9956e54ac4b29ca019
Parent: 37a12a3
Committed by GitHub <noreply@github.com>
on 2/25/2024, 3:17:50 PM