Marshall Bowers 2f4bb79553 Reload themes defined in extensions (#7520) ... This PR extends the extension directory watcher to also watch and reload themes defined in extensions. Release Notes: - N/A Co-authored-by: Max <max@zed.dev>		2024-02-07 16:11:24 -05:00
..
extension_store.rs	Reload themes defined in extensions (#7520)	2024-02-07 16:11:24 -05:00
extension_store_test.rs	Add logic for managing language and theme extensions (#7467)	2024-02-07 15:14:50 -05:00