Open zwimer opened 1 year ago
@mborgerson What is "Current" as a theme choice supposed to do? A no-op?
Is it supposed to be the System theme? If so, I think we should rename this to "System".
'Current' is supposed to mean whatever is currently configured. e.g. if the user loads the Dark theme, Dark theme values are copied to Current
What is the rational for having "Current" when the loaded theme is already in the combobox selector and should be auto-selected when the preference tab opens? Or what does it add?
I'll remove the Current
for now, this will is done in #806
Description
When loading a theme in angr-management, there are 3 options: Light, Dark, and Current. Selecting
Current
can cause:Steps to reproduce the bug
Open preferences "Themes and Colors" Beside "Load Theme" select Current Click "Load"
Environment
https://github.com/angr/angr-management/commit/41b574ed070e8112b1cf5e61e43e81286d569c86
Additional context
No response