mirror of
https://github.com/servo/servo.git
synced 2025-06-18 22:34:30 +01: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. |
||
---|---|---|
.. | ||
Cargo.toml | ||
compositor.rs | ||
compositor_layer.rs | ||
compositor_thread.rs | ||
constellation.rs | ||
delayed_composition.rs | ||
lib.rs | ||
pipeline.rs | ||
sandboxing.rs | ||
scrolling.md | ||
surface_map.rs | ||
timer_scheduler.rs | ||
touch.rs | ||
windowing.rs |