Dashboard: Settings filter
Abierto
@jgclark ya está trabajando en esto.
Desde el 29/7/2026.
bug
enhancement
- Lenguaje dominante
- JavaScript
- Estrellas
- 204
- Forks
- 82
- Merge medio
- 22 h 27 min
- PR fusionados (30 d)
- 3
Descripción
@jgclark The settings list have gotten pretty long (and powerful), but when setting up new perspectives, I want a faster way to find the setting I'm interested in. Wondering if you would consider adding a filter text box at the top of the settings panel that will filter the items on the page to match the text i type -- match in settings title or description. every match and its indented options (dependsOn's) should be listed.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Evaluación
Este issue todavía no se ha evaluado.