Discussions

• 1 You must be logged in to vote

  💡

  Allow setting max results for Explorer's index search

  enhancement New feature or request

  jjw24 started Aug 23, 2020 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Use Key-Up instead of Key-Down

  enhancement New feature or request

  skjerns started Jul 30, 2020 in Ideas

  

  

  2