]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #99489 - GuillaumeGomez:gui-fixes, r=notriddle
authorMatthias Krüger <matthias.krueger@famsik.de>
Wed, 20 Jul 2022 16:58:19 +0000 (18:58 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Jul 2022 16:58:19 +0000 (18:58 +0200)
commit73ef81dcea5e7e204cac798ff787551f29a7257b
tree82724f48765c732342a8e49bba1c01315b7282c7
parenta0c696484f9600b7e6de420e591fbd8450f0bea5
parentf4be88e5ad5258587f1fd7aaf37592a420de85ed
Rollup merge of #99489 - GuillaumeGomez:gui-fixes, r=notriddle

rustdoc UI fixes

The first commit fixes this bug:

![Screenshot from 2022-07-20 02-54-26](https://user-images.githubusercontent.com/3050060/179879053-fc34f27a-6248-4f5c-9fcb-80adbfc1598c.png)
![Screenshot from 2022-07-20 03-00-03](https://user-images.githubusercontent.com/3050060/179879056-1c0973a0-d535-44e7-a48e-bad692034467.png)

The second one fixes the missing change of border color when the search input is focused.

cc `@jsha`
r? `@notriddle`