mirror of
https://github.com/servo/servo
synced 2026-05-13 18:37:30 +02:00
navigation. Since WebRender uses the pipeline ID stored in the iframe element to determine which pipeline to display, it had better be kept up to date! Closes #9919.