angr-management icon indicating copy to clipboard operation
angr-management copied to clipboard

Allow Custom Theme-ing

Open zwimer opened this issue 2 years ago • 0 comments

Description

As mentioned here https://github.com/angr/angr-management/issues/808#issuecomment-1333155739 while we presently permit users to override theme colors, those changes may not persist.

It might be nice to allow changes to persist by saving a new theme (something like 'Custom 1') when a user changes a color on one of the preset themes, saving this into the angrmanagement config.

zwimer avatar Dec 01 '22 05:12 zwimer