Assign player colors from the theme (#3805)

This PR updates the `theme_importer` to pull in the player colors so
that we can assign them based on the current theme.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2023-12-22 22:28:41 -05:00 committed by GitHub
parent 5a910aa874
commit e5148b4a1b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
16 changed files with 1730 additions and 30 deletions

View file

@ -316,8 +316,9 @@ fn main() -> Result<()> {
#[allow(unused)]
use crate::{{
Appearance, StatusColorsRefinement, ThemeColorsRefinement, UserHighlightStyle, UserSyntaxTheme,
UserTheme, UserThemeFamily, UserThemeStylesRefinement, UserFontWeight, UserFontStyle
Appearance, PlayerColor, PlayerColors, StatusColorsRefinement, ThemeColorsRefinement,
UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
UserFontWeight, UserFontStyle
}};
pub fn {theme_family_slug}() -> UserThemeFamily {{