Skip to content

Remove SwapChains::destroy_all#346

Merged
jdm merged 1 commit intoservo:mainfrom
mrobinson:remove-destroy-all
Nov 14, 2025
Merged

Remove SwapChains::destroy_all#346
jdm merged 1 commit intoservo:mainfrom
mrobinson:remove-destroy-all

Conversation

@mrobinson
Copy link
Member

@mrobinson mrobinson commented Nov 12, 2025

This API is a bit dangerous because it assumes that every SwapChain in
the collection has the same device. I think it would be better to remove
it entirely to avoid misuse.

Signed-off-by: Martin Robinson mrobinson@igalia.com

This API is a bit dangerous because it assumes that every `SwapChain` in
the collection has the same device. I think it would be better to remove
it entire to avoid misuse.

Signed-off-by: Martin Robinson <mrobinson@igalia.com>
@mrobinson mrobinson added this pull request to the merge queue Nov 13, 2025
github-merge-queue bot pushed a commit that referenced this pull request Nov 13, 2025
This API is a bit dangerous because it assumes that every `SwapChain` in
the collection has the same device. I think it would be better to remove
it entire to avoid misuse.

Signed-off-by: Martin Robinson <mrobinson@igalia.com>
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Nov 13, 2025
@mrobinson mrobinson added this pull request to the merge queue Nov 13, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Nov 13, 2025
@mrobinson mrobinson added this pull request to the merge queue Nov 13, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Nov 13, 2025
@mrobinson mrobinson added this pull request to the merge queue Nov 13, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Nov 13, 2025
@mrobinson mrobinson added this pull request to the merge queue Nov 14, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 14, 2025
@jdm jdm added this pull request to the merge queue Nov 14, 2025
Merged via the queue into servo:main with commit 6983c3b Nov 14, 2025
83 of 87 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants