Nate Butler 0dd6ea6d41 Add new default player colors and the players story.

2023-11-07 21:51:12 -05:00

..

themes

theme_importer: Format generated themes (#3255)

2023-11-07 12:45:09 -05:00

colors.rs

Extend the theme crate to enable stories, add players story

2023-11-07 21:08:33 -05:00

default_colors.rs

Extend the theme crate to enable stories, add players story

2023-11-07 21:08:33 -05:00

default_theme.rs

Extend the theme crate to enable stories, add players story

2023-11-07 21:08:33 -05:00

players.rs

Add new default player colors and the players story.

2023-11-07 21:51:12 -05:00

registry.rs

Merge remote-tracking branch 'origin/main' into editor-movement

2023-11-07 18:50:43 +01:00

scale.rs

Remove the 2s from source code

2023-11-02 10:55:02 -07:00

settings.rs

Rename ThemeVariant to Theme (#3252)

2023-11-07 10:41:36 -05:00

story.rs

Extend the theme crate to enable stories, add players story

2023-11-07 21:08:33 -05:00

syntax.rs

Merge remote-tracking branch 'origin/main' into editor-movement

2023-11-07 18:48:08 +01:00

theme2.rs

Extend the theme crate to enable stories, add players story

2023-11-07 21:08:33 -05:00

user_theme.rs

Rework third-party themes (#3254)

2023-11-07 11:40:07 -05:00