Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-27 18:57:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

Reduce rustdoc GUI flakyness, take 2

Browse Source
This commit is contained in:
Guillaume Gomez
2026-01-14 22:47:53 +01:00
parent 2fd6efc327
commit 4bacdf7b8b
1 changed files with 24 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/rustdoc-gui/utils.goml
+24 -6
View File
@@ -29,9 +29,18 @@ define-function: (
"open-settings-menu",
[],
block {
call-function: ("click-settings-button", {})
// Wait for the popover to appear...
wait-for-css: ("#settings", {"display": "block"})
store-count: ("#settings", nb_settings_menu)
if: (|nb_settings_menu| != 0, block {
store-css: ("#settings", {"display": settings_display})
})
else: block {
store-value: (settings_display, "none")
}
if: (|settings_display| != "block", block {
call-function: ("click-settings-button", {})
// Wait for the popover to appear...
wait-for-css: ("#settings", {"display": "block"})
})
}
)
@@ -39,9 +48,18 @@ define-function: (
"close-settings-menu",
[],
block {
call-function: ("click-settings-button", {})
// Wait for the popover to disappear...
wait-for-css-false: ("#settings", {"display": "block"})
store-count: ("#settings", nb_settings_menu)
if: (|nb_settings_menu| != 0, block {
store-css: ("#settings", {"display": settings_display})
})
else: block {
store-value: (settings_display, "block")
}
if: (|settings_display| == "block", block {
call-function: ("click-settings-button", {})
// Wait for the popover to disappear...
wait-for-css-false: ("#settings", {"display": "block"})
})
}
)