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 | ||