mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-11 05:00:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9
17751 commits 487 branches 806 tags 253 MiB
Commit graph

2 commits

Author SHA1 Message Date
Marshall Bowers
a2efc8da7a
Add player colors to serialized themes (#6887) 
This PR adds player colors to serialized themes.

Release Notes:

- N/A
 2024-01-27 13:50:33 -05:00
Marshall Bowers
0fe0683ef4
Add serialized versions of themes (#6885) 
This PR adds serialized versions of each of the themes that currently
ship with Zed.

In a future PR we'll be looking to make these the canonical
representations of the built-in themes.

Note that we're intentionally repurposing the `theme_importer` to do
this, so that crate is a bit rough-and-ready at the moment.

Release Notes:

- N/A
 2024-01-27 13:35:43 -05:00