Skip to content

User search now uses priority sorting to better display results for menu items. - #3966

Closed
okayGravity wants to merge 6 commits into
archlinux:masterfrom
okayGravity:master
Closed

User search now uses priority sorting to better display results for menu items.#3966
okayGravity wants to merge 6 commits into
archlinux:masterfrom
okayGravity:master

Conversation

@okayGravity

Copy link
Copy Markdown
Contributor

PR Description:

Previously, using search ('/') would capture user input to use in a filter containing a lambda function that filtered by the .contains() function. This returned the menu list but did not appropriately organize results to better display likely results.

example of previous results using filter "git"
old-search(git)

This change adds the _items_score() function as a helper. This function scores, and gives priority to items that start with the user given filter.
example of new results using filter "git"
new-search(git)

Tests and Checks

  • I have tested the code!

@okayGravity
okayGravity requested a review from Torxed as a code owner December 2, 2025 19:56
@okayGravity okayGravity closed this Dec 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant