Skip to content

Allow setting max results for Explorer's index search #522

jjw24 started this conversation in Ideas
Allow setting max results for Explorer's index search #522
@jjw24 jjw24
Aug 23, 2020 · 0 comments
Return to top
Discussion options

jjw24
Aug 23, 2020
Maintainer

You must be logged in to vote

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Ideas
Labels
enhancement New feature or request
1 participant
@jjw24
Converted from issue

This discussion was converted from issue #140 on June 28, 2021 08:48.