Marshall Bowers c3176392c6 Remove themes from the registry when the extension is uninstalled (#7745) ...

This PR makes it so uninstalling an extension will remove any themes
provided by that extension from the theme registry.

Release Notes:

- N/A

2024-02-13 16:41:34 -05:00

..

styles

Rework loading images from files (#7088)

2024-01-30 11:26:02 -05:00

default_colors.rs

Improve the contrast of the default search_match_background colors (#7382)

2024-02-05 10:45:41 -05:00

default_theme.rs

…

one_themes.rs

Add more terminal colors to the theme (#4168)

2024-01-19 14:22:53 -05:00

prelude.rs

…

registry.rs

Remove themes from the registry when the extension is uninstalled (#7745)

2024-02-13 16:41:34 -05:00

scale.rs

Clean up references in doc comments in ui and theme crates (#3985)

2024-01-09 15:22:36 -05:00

schema.rs

Remove old themes using UserTheme constructs (#6897)

2024-01-27 16:55:37 -05:00

settings.rs

Reload theme using ThemeSettings::reload_current_theme (#7522)

2024-02-07 16:56:24 -05:00

styles.rs

…

theme.rs

Add support for specifying both light and dark themes in settings.json (#7404)

2024-02-05 15:39:01 -05:00