mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-10 14:06:11 +03:00
bc09ce6ffc
This PR cleans up some TODOs we had in the themes. We won't be addressing these in the immediate term, so no need to have them show up when folks are looking for TODOs to burn down before launch. I added some general notes as signposts until we're ready to revisit this. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| styles | ||
| themes | ||
| default_colors.rs | ||
| default_theme.rs | ||
| one_themes.rs | ||
| prelude.rs | ||
| registry.rs | ||
| scale.rs | ||
| settings.rs | ||
| styles.rs | ||
| theme.rs | ||
| user_theme.rs | ||