zed/assets/themes
Marshall Bowers 5f1dcb76fe
Load JSON themes (#6893)
This PR changes the theme loading to use the JSON themes bundled with
the binary rather then the Rust theme definitions.

### Performance

I profiled this using `cargo run --release` to see what the speed
differences would be now that we're deserializing JSON:

**Before:** `ThemeRegistry::load_user_themes` took 16.656666ms
**After:** `ThemeRegistry::load_user_themes` took 18.784875ms

It's slightly slower, but not by much. There is probably some work we
could do here to bring down the theme loading time in general.

Release Notes:

- N/A
2024-01-27 16:03:04 -05:00
..
andromeda Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
atelier Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
ayu Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
gruvbox Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
one Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
rose_pine Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
sandcastle Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
solarized Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
summercamp Add player colors to serialized themes (#6887) 2024-01-27 13:50:33 -05:00
.gitkeep Removed stray compiled theme files 2022-09-08 15:51:39 -07:00
LICENSES Load JSON themes (#6893) 2024-01-27 16:03:04 -05:00