dervondenbergen
commented
9 years ago Until there is an official search, you can use this script, I made some time ago. It adds a search input to the site:
https://gist.github.com/dervondenbergen/989e60366936ccbe42e4
The website should have a search bar so that user can search icons by appropriate names . For example : If I search for at , I should see icons for '@'.