diff options
| author | Micky <micheledevita2@gmail.com> | 2022-09-04 10:18:23 +0200 |
|---|---|---|
| committer | Micky <micheledevita2@gmail.com> | 2022-10-04 16:14:01 +0200 |
| commit | 4465dd6e37d048119e9a19b50bac035294adcea9 (patch) | |
| tree | 175dd52e53840af6c365c34ca5075102959eabdd /servers/navigation | |
| parent | 141fdac36c0eb595dd11b27817446e42326bf2a0 (diff) | |
Allow multiple words in Docs Help Search filter
This is how most search filters behave.
Refactors the search's match_classes phase to reduce code duplication.
Diffstat (limited to 'servers/navigation')
0 files changed, 0 insertions, 0 deletions