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 /core/os | |
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 'core/os')
0 files changed, 0 insertions, 0 deletions