angr / angr/angr-management

Allow Custom Theme-ing

Aperta
#809 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
enhancement
Lingua principale
Python
Stelle
1.2k
Fork
131
Merge medio
1g 11h
PR unite (30g)
14

Descrizione

### 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.

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.