Apparently dark themes are popular. I've never understood it myself, but anyway.
The goal of this task is to provide a built-in dark theme that compliments the default light theme.
Currently the editor theme is set via the settings file. For Reasons, it isn't an easy task to allow the user to switch themes in the editor currently. This is because themes can include custom scripts etc that cannot be unapplied.
However, I think we have a different scenario here. What if a theme plugin could provide multiple variants of the theme - limited to well-scoped CSS. The editor can them provide an option in user settings to pick between the variants.
Need to clarify how the css will get switched out; is applying a class name to the parent object appropriate? Possibly not as some elements get added to the document root.
Apparently dark themes are popular. I've never understood it myself, but anyway.
The goal of this task is to provide a built-in dark theme that compliments the default light theme.
Currently the editor theme is set via the settings file. For Reasons, it isn't an easy task to allow the user to switch themes in the editor currently. This is because themes can include custom scripts etc that cannot be unapplied.
However, I think we have a different scenario here. What if a theme plugin could provide multiple variants of the theme - limited to well-scoped CSS. The editor can them provide an option in user settings to pick between the variants.
Need to clarify how the css will get switched out; is applying a class name to the parent object appropriate? Possibly not as some elements get added to the document root.