mirror of
https://github.com/servo/servo.git
synced 2025-06-19 14:48:59 +01:00
959dbac0e7
Don't kill the root pipeline when randomly killing pipelines. Useful for stress-testing the browser chrome, e.g. testing #10334. <!-- 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/10862) <!-- Reviewable:end --> |
||
|---|---|---|
| .. | ||
| 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 | ||
