search

mr-miner1 / better-settings

discord settings but better.
MIT License
43 stars 2 forks source link

Search Hidden Items #12

Closed DracoClaw closed 2 years ago

DracoClaw commented 3 years ago

When searching settings, you should still be able to search for hidden items. I don't want my list bloated with every plugin, but sometimes I still need to adjust one of them.

mr-miner1 commented 3 years ago

ig i could add that as a toggle but u can access them by typing "$hidden" in the search field

DracoClaw commented 3 years ago

I tried that, it doesnt seem to work

https://micro.sylo.digital/f/F8sm2f

mr-miner1 commented 3 years ago

the $hidden thing should be fixed now and if u dont mind can i close the issue? since it would probably require a rewrite to how hidden items work and i dont feel like doing that

DracoClaw commented 3 years ago

I mean. Remembering to add $hidden every time doesn't seem ideal. Could a toggle just secretly add that flag?

DracoClaw commented 3 years ago

So it seems searching $hidden pulls up all hidden plugins, but i cant search plugin-name $hidden or $hidden plugin-name to find the specific one i want

mr-miner1 commented 2 years ago

added in recent update here's a preview:

https://user-images.githubusercontent.com/83544549/161035219-d23c7c59-7a2e-40fd-8b09-0ee9d00a9eb8.mp4