-
Notifications
You must be signed in to change notification settings - Fork 111
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
No 'current' theme #805
Comments
@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 |
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
rm -rf ~/.config/angr-management angr-management
Open preferences
"Themes and Colors"
Beside "Load Theme" select Current
Click "Load"
Environment
41b574e
Additional context
No response
The text was updated successfully, but these errors were encountered: