angr / angr/angr-management

Add descriptions to config entry items

Offen
#1,095 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
enhancement
Vorherrschende Sprache
Python
Sterne
1.2k
Forks
131
Ø Merge
1 T. 11 Std.
Gemergte PRs (30 T.)
14

Beschreibung

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

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.