Marshall Bowers 74853ea55f Rename ThemeVariant to Theme (#3252) ...

This PR renames the `ThemeVariant` type to `Theme`.

This better reflects its purpose, as well as matches the same name as we
had before, which should make porting crates slightly easier.

Release Notes:

- N/A

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

..

themes

Rename ThemeVariant to Theme (#3252)

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

colors.rs

Fix warning

2023-11-07 14:31:17 +01:00

default_colors.rs

Add colors for document highlights

2023-11-07 13:15:08 +01:00

default_theme.rs

Rename ThemeVariant to Theme (#3252)

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

registry.rs

Rename ThemeVariant to Theme (#3252)

2023-11-07 10:41:36 -05: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

syntax.rs

Remove the 2s from source code

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

theme2.rs

Rename ThemeVariant to Theme (#3252)

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