Skip to content

Conversation

@chromium-wpt-export-bot
Copy link
Collaborator

@chromium-wpt-export-bot chromium-wpt-export-bot commented Jan 8, 2026

This makes the border drawn by an HR have nonzero width and have
appearance that matches the other menu styles.

Bug: 406566432
Change-Id: I0a1c901765b2e95dbcebdb08ac70a6cfb4ba9a30
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/7409954
Commit-Queue: David Baron <[email protected]>
Reviewed-by: Joey Arhar <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1566417}

This makes the border drawn by an HR have nonzero width and have
appearance that matches the other menu styles.

Bug: 406566432
Change-Id: I0a1c901765b2e95dbcebdb08ac70a6cfb4ba9a30
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/7409954
Commit-Queue: David Baron <[email protected]>
Reviewed-by: Joey Arhar <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1566417}
Copy link
Collaborator

@wpt-pr-bot wpt-pr-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The review process for this patch is being conducted in the Chromium project.

@chromium-wpt-export-bot chromium-wpt-export-bot merged commit 14f4eb4 into master Jan 8, 2026
27 checks passed
@chromium-wpt-export-bot chromium-wpt-export-bot deleted the chromium-export-cl-7409954 branch January 8, 2026 22:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants