Skip to content
This repository has been archived by the owner on Nov 2, 2020. It is now read-only.

Search functionality #115

Open
tevelee opened this issue Jan 15, 2017 · 1 comment
Open

Search functionality #115

tevelee opened this issue Jan 15, 2017 · 1 comment

Comments

@tevelee
Copy link

tevelee commented Jan 15, 2017

It's a common use-case to have a lot of tweaks in an application at once. Usually these settings are hard to find, so it would be convenient to introduce a basic search functionality.
@tevelee
Copy link
Author

tevelee commented Jan 15, 2017

See the pull request #116 with the initial proposal for the feature

@tevelee tevelee mentioned this issue Jan 15, 2017
Open
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tevelee