diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-11-12 11:31:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-12 11:31:47 +0100 |
| commit | 6d41735e363c06215135476b6ff58d52e27d8a74 (patch) | |
| tree | ca5f52f86c9d8ac0f31306cbe6ff2398d49a8d22 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | 0cd118d9671f718ce06c8797da6bffb8813a43a6 (diff) | |
| parent | 46c921d3aba857a16146b140c89adfcbeee257cb (diff) | |
| download | rust-6d41735e363c06215135476b6ff58d52e27d8a74.tar.gz rust-6d41735e363c06215135476b6ff58d52e27d8a74.zip | |
Rollup merge of #78921 - GuillaumeGomez:search-result-title, r=jyn514
Improve the page title switch handling between search and doc The current behavior often "forgets" to update the page title when discarding/putting back the search results. This isn't optimal which is why I wrote this fix. r? ``@jyn514``
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions