angr / angr/angr-management

Add descriptions to config entry items

Ouverte
#1,095 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
enhancement
Langage dominant
Python
Étoiles
1.2k
Forks
131
Merge moyen
1 j 11 h
PR mergées (30 j)
14

Description

### Description

We can simplify some preferences widget creation logic by adding preference descriptions to the config entries, e.g. to build the list of font configs we should just be able to iterate over all entries and pick up the font items instead of needing to specify the displayed items and their decriptions in the Style dialog.

### Alternatives

_No response_

### Additional context

_No response_

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.