Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@domenic
Copy link
Member

@domenic domenic commented Jun 28, 2023

This replaces the vague "If the end user instructs the user agent to end a fullscreen session".

Depends on whatwg/html#9462.


Preview | Diff

@domenic domenic added the do not merge yet Pull request must not be merged per rationale in comment label Jun 28, 2023
@domenic domenic added do not merge yet Pull request must not be merged per rationale in comment and removed do not merge yet Pull request must not be merged per rationale in comment labels Nov 21, 2023
@domenic domenic removed the do not merge yet Pull request must not be merged per rationale in comment label Jul 24, 2025
@domenic
Copy link
Member Author

domenic commented Jul 24, 2025

Oh, this is ready to be reviewed and merged!

@annevk
Copy link
Member

annevk commented Jul 24, 2025

I think you need to rebase and force push to make CI happy.

This replaces the vague "If the end user instructs the user agent to end a fullscreen session".
@domenic domenic changed the title Reference close signal steps Reference close request steps Jul 25, 2025
@domenic domenic merged commit dd2b098 into main Jul 25, 2025
2 checks passed
@domenic domenic deleted the close-signals branch July 25, 2025 01:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants