Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync changes from mozilla-central gfx/wr #4023

Merged
merged 1 commit into from Jul 21, 2020
Merged

Conversation

@moz-gfx
Copy link

moz-gfx commented Jul 20, 2020

No description provided.

…ration. r=miko

When iterating a "built display list" the iterator expects there to be a red
zone at the end of the data buffer. The incremental display list emitter fakes
having a built display list, but it still needs to tack on the red zone to
satisfy the iterator (and assertions inside peek-poke). However we don't want
to keep this red zone there after we're done, so this patch also adds a new
method to peek-poke that strips away the red zone. The churn caused on the
vector capacity should be negligible because this churn would happen
anyway as new items are added to the display list and when the display list
is actually finalized at the end.

Differential Revision: https://phabricator.services.mozilla.com/D83788

[ghsync] From https://hg.mozilla.org/mozilla-central/rev/abb94818ea0d4798420c3d0c80871812a9754e79
@moz-gfx
Copy link
Author

moz-gfx commented Jul 20, 2020

@bors-servo r=auto

@bors-servo
Copy link
Contributor

bors-servo commented Jul 20, 2020

📌 Commit 2011bff has been approved by auto

@bors-servo
Copy link
Contributor

bors-servo commented Jul 20, 2020

Testing commit 2011bff with merge 3ff0d17...

@bors-servo
Copy link
Contributor

bors-servo commented Jul 21, 2020

☀️ Test successful - status-taskcluster
Approved by: auto
Pushing 3ff0d17 to master...

@bors-servo bors-servo merged commit 3ff0d17 into servo:master Jul 21, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.