Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fuzzy search for keywords #1439

Closed
moizsj opened this issue Jun 17, 2016 · 0 comments
Closed

Fuzzy search for keywords #1439

moizsj opened this issue Jun 17, 2016 · 0 comments
Labels
new Marks issues describing new features released Marks issues which have had the fixes released in a stable build
Milestone

Comments

@moizsj
Copy link

moizsj commented Jun 17, 2016

Narrows down on keyword name. And then upon selection of a specific keyword, would list out the usages (instead of definitions).

@cursive-ide cursive-ide added this to the 1.6.0-eap1 milestone May 5, 2017
@cursive-ide cursive-ide modified the milestones: 1.6.0-eap1, 1.6.0-eap2, 1.6.0-eap3 Jun 20, 2017
@cursive-ide cursive-ide modified the milestones: 1.6.1-eap1, 1.7.0-eap1 Jul 25, 2017
@cursive-ide cursive-ide modified the milestones: 1.7.0-eap1, 1.7.0-eap2 Mar 9, 2018
@cursive-ide cursive-ide modified the milestones: 1.7.0-eap2, 1.7.0-eap3 Apr 11, 2018
@cursive-ide cursive-ide modified the milestones: 1.7.0-eap3, 1.8.0-eap1 May 20, 2018
@cursive-ide cursive-ide modified the milestones: 1.8.0-eap1, 1.8.0-eap2 Jun 18, 2018
@cursive-ide cursive-ide modified the milestones: 1.8.0-eap4, 1.8.0-eap5 Aug 1, 2018
@cursive-ide cursive-ide modified the milestones: 1.8.0-eap5, 1.8.0-eap6 Aug 8, 2018
@cursive-ide cursive-ide modified the milestones: 1.8.0-eap6, 1.8.0-eap7 Aug 15, 2018
@cursive-ide cursive-ide modified the milestones: 1.8.0-eap7, 1.8.0-eap8 Sep 19, 2018
@cursive-ide cursive-ide added the new Marks issues describing new features label Sep 22, 2020
@cursive-ide cursive-ide added the released Marks issues which have had the fixes released in a stable build label Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new Marks issues describing new features released Marks issues which have had the fixes released in a stable build
Projects
None yet
Development

No branches or pull requests

2 participants