angr / angr/angr-management

Add descriptions to config entry items

Abierto
#1,095 0 comentarios 0 reacciones 0 asignados Ver en GitHub
enhancement
Lenguaje dominante
Python
Estrellas
1.2k
Forks
131
Merge medio
1 d 11 h
PR fusionados (30 d)
14

Descripción

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

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.