Marshall Bowers aa14552fee Remove unneeded .intos

2023-11-01 22:01:59 -04:00

..

colors.rs

Continue refining theme, update tabs & tab bar

2023-11-01 01:41:33 -04:00

default_colors.rs

Remove unneeded .intos

2023-11-01 22:01:59 -04:00

default_theme.rs

Use Refineable for ThemeStyles (#3196)

2023-10-31 23:33:51 -04:00

registry.rs

Remove old Theme definition (#3195)

2023-10-31 23:05:50 -04:00

scale.rs

Make indexing into ColorScales safe (#3205)

2023-11-01 21:52:42 -04:00

settings.rs

Add ui_font_size setting (#3199)

2023-11-01 13:11:12 -04:00

syntax.rs

Use Refineable for ThemeStyles (#3196)

2023-10-31 23:33:51 -04:00

theme2.rs

Refine default colors

2023-11-01 00:51:57 -04:00