mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-07 02:57:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9
zed/crates/theme2/src
History
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
settings.rs
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