Dashboard: Settings filter
Aperta
@jgclark ci sta già lavorando.
Dal 29/7/2026.
bug
enhancement
- Lingua principale
- JavaScript
- Stelle
- 204
- Fork
- 82
- Merge medio
- 22h 27m
- PR unite (30g)
- 3
Descrizione
@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.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Valutazione
Questa issue non è ancora stata valutata.