angr / angr-management

The official angr GUI.
BSD 2-Clause "Simplified" License
877 stars 110 forks source link

Seperate color theme settings from main config #1039

Open twizmwazin opened 1 year ago

twizmwazin commented 1 year ago

Description

Right now any custom user color configs are specified in the config file in the regular config system. I think this is kinda wonky and we could instead just allow the user to have a userTheme.css they can edit instead. This would also declutter the config file since right now its a bit overwhelming due to the number of unsorted options.

Alternatives

No response

Additional context

No response