diff options
| author | ChrHorn | 2022-11-17 01:16:03 +0000 |
|---|---|---|
| committer | GitHub | 2022-11-17 01:16:03 +0000 |
| commit | 322e957ea1947108d10699f217b75b831df2a2c0 (patch) | |
| tree | 1db5a266799843d1c4b5668ed47a0e9b6d42a40f /book/.gitignore | |
| parent | 7483c762229516298c4a2d9398b9418dbc57198b (diff) | |
Remove prefix filtering from autocomplete menu (#4578)
PR #4134 switched the autocomplete menu from alphabetical to fuzzy
sorting. This commit removes the still existing filtering by prefix and
should enable full fuzzy sorting of the autocomplete menu.
closes #3084, #1807
Co-authored-by: Blaž Hrastnik <blaz@mxxn.io>
Diffstat (limited to 'book/.gitignore')
0 files changed, 0 insertions, 0 deletions