This repository has been archived by the owner on Dec 14, 2021. It is now read-only.

Search with regular expressions #59

Closed

egraether opened this issue Mar 14, 2016 · 1 comment

Labels

duplicate feature

Contributor

egraether commented Mar 14, 2016

Enter regular expressions int the search bar to narrow down autocompletion results.

egraether added the feature label

egraether mentioned this issue

Some suggestions #52

Closed

egberts mentioned this issue

Infinite loop #504

Closed

egraether added the duplicate label

Contributor Author

egraether commented Aug 3, 2019

Duplicate of #630

egraether marked this as a duplicate of #630

egraether closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.