]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #92127 - GuillaumeGomez:search-results-duplicate-removal, r=jsha
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 21 Dec 2021 07:33:41 +0000 (08:33 +0100)
committerGitHub <noreply@github.com>
Tue, 21 Dec 2021 07:33:41 +0000 (08:33 +0100)
Move duplicates removal when generating results instead of when displaying them

Currently, we store 200 results per tab and then display them. However, it was possible to have duplicates which is why we have this check. However, instead of doing it when displaying the results, it's much better instead to do it even before to simplify the display part a bit.

r? `@jsha`


Trivial merge