extensions_ui: Remove dependency on `theme_selector`

zed-industries / zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

https://zed.dev

Other

50.45k stars 3.12k forks source link

Closed maxdeviant closed 12 hours ago

maxdeviant commented 12 hours ago

This PR removes the dependency on theme_selector from extensions_ui, as we can just dispatch the action instead.

Release Notes: