Rename/Recategorized "key"s of Theme #10264
Replies: 4 comments
-
IMO it's not worth refactoring a lot of keys like this until we switch configuration languages. This would break all existing themes. We can fix the ones that live in this repo but any themes outside would need their |
Beta Was this translation helpful? Give feedback.
-
It is certainly a problem that all existing themes will be broken. |
Beta Was this translation helpful? Give feedback.
-
I wonder if it would be worth it to ship a sort of "migration tool" with any releases that bring breaking changes regarding configuration and themes, that would take in a theme or config file that works for the previous release and spits out a functionally identical theme/config file that's compatible for the new release? |
Beta Was this translation helpful? Give feedback.
-
This is a linter #3234 , but I agree that it would be nice to have a support tool similar to this. |
Beta Was this translation helpful? Give feedback.
-
Describe your feature request
When I create a theme, the "key" names may not match the color change location well and may have multiple contexts.
For example, "ui.text.focus" is not clear where the focus is, and "special" has multiple meanings, as shown here in #2380.
Here is a list of "key "s that I think are not so good
if ui.window is accepted
if ui.picker is accepted
Beta Was this translation helpful? Give feedback.
All reactions