85dae56a31
Previously we were stripping all whitespace. Instead, just strip leading+trailing whitespace, split the remaining search into individual terms which we search for independently. Items are grouped by the number of terms they match, then sorted alphabetically. |
||
---|---|---|
.. | ||
appDisplay.js | ||
button.js | ||
dnd.js | ||
docDisplay.js | ||
genericDisplay.js | ||
main.js | ||
overlay.js | ||
panel.js | ||
runDialog.js | ||
tweener.js | ||
windowManager.js | ||
workspaces.js |