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

Feature Suggestion - Search gists #7

Open
fuzzyweapon opened this issue Oct 4, 2018 · 0 comments
Open

Feature Suggestion - Search gists #7

fuzzyweapon opened this issue Oct 4, 2018 · 0 comments
Labels
help wanted Extra attention is needed

Comments

@fuzzyweapon
Copy link

A way to search gists in the gists toolbox window like we see for other widgets, either activated with a context sensitive CMD/Ctrl-F and/or starting to type while the index pane has focus. Something simple would be great, though I've included some baseline suggestions below which I think, if realized, will really make a search feature be viable for most use cases.

Suggestions Up For Discussion

  • search gist descriptions/title (gist metadata), file names, file contents?
  • search result organization - I'd suggest some solid default organization here, such as simply a paired down gists index (slight visual change to indicate and reinforce they are search results)
  • search syntax/strategy support
    • default fuzzy matching - fuzzy match input that doesn't have qualifying symbols for other modes (i.e. isn't surrounded by double-quotes)
      bar -> matches on 'bar', 'foobar', 'barfoo', and 'foobarfoo'
      
    • literal matching - match input surrounded by double quotes as is
      "bar" -> matches on 'bar', but not 'foobar' or 'foobarhello'
      "foo bar" -> matches on 'foo bar', but not foo', bar', 'foobar', nor 'bar foo'
      "\nbar" -> follows match rules above and only matches on actual literal symbols '\nbar'
      
    • mixed mode - Simply support being able to mix literal and partial
      foo "bar" -> matches on 'foo', 'lolfooblah', 'foobar', 'barfoo', and 'bar' but not 'barblah'
      
    • case-sensitivity checkbox - to toggle whether you want the search input to be case-sensitive.
@silvafabio silvafabio added the help wanted Extra attention is needed label Jun 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

2 participants