]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68553 - GuillaumeGomez:fix-run-button-scroll-pos, r=kinnison
authorYuki Okushi <huyuumi.dev@gmail.com>
Wed, 29 Jan 2020 00:34:47 +0000 (09:34 +0900)
committerGitHub <noreply@github.com>
Wed, 29 Jan 2020 00:34:47 +0000 (09:34 +0900)
commit85f324004e2936fde4d409d9d7f9451d829cb20d
tree935af68d408f1a985a52d66c5fc194b66770806b
parentaf0c280be6744ec62a5eccd721de61837fa75345
parent85079f8b1fa8291593735b9b577e8e0dc22ad3b6
Rollup merge of #68553 - GuillaumeGomez:fix-run-button-scroll-pos, r=kinnison

Fix run button positionning in case of scrolling

Fixes #68337.

r? @kinnison