]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #82234 - GuillaumeGomez:remove-query-param-on-esc, r=Nemo157
authorDylan DPC <dylan.dpc@gmail.com>
Tue, 23 Feb 2021 01:51:54 +0000 (02:51 +0100)
committerGitHub <noreply@github.com>
Tue, 23 Feb 2021 01:51:54 +0000 (02:51 +0100)
commit8541435e8d238c93cd9c72dae406f4135c162d25
tree8fae6be31930a319f1f24c0cf2f933551fe19def
parent8979fd42379628201896a5c0dd478c0a5dbd3405
parenteeb555266764069937491a26e817d4bcfea5da3a
Rollup merge of #82234 - GuillaumeGomez:remove-query-param-on-esc, r=Nemo157

Remove query parameters when skipping search results

Fixes #81330.

This PR changes the following: when pressing ESC and that no other "action" was performed (understand: no closing the search result, or hiding a menu or something along the line), then we discard the URL query parameters (the `?whatever=dsjfs`). What do you think about this change ```@rust-lang/rustdoc``` ?

EDIT: finally we're simply removing the query parameter when we're skipping the search results.

r? ```@Nemo157```
src/librustdoc/html/static/main.js