mirror of
https://github.com/servo/servo.git
synced 2025-06-20 23:28:59 +01:00
f1baba973f
Fixed jump tag issue Fixes the issue where once a jump tag is clicked, the viewport rects are not updated. #9671 <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10112) <!-- Reviewable:end --> |
||
|---|---|---|
| .. | ||
| Cargo.toml | ||
| compositor.rs | ||
| compositor_layer.rs | ||
| compositor_thread.rs | ||
| constellation.rs | ||
| delayed_composition.rs | ||
| headless.rs | ||
| lib.rs | ||
| pipeline.rs | ||
| sandboxing.rs | ||
| scrolling.md | ||
| surface_map.rs | ||
| timer_scheduler.rs | ||
| touch.rs | ||
| windowing.rs | ||
