mirror of
https://github.com/servo/servo.git
synced 2025-10-14 23:40:26 +01:00
ScrollRoot is an ever increasingly inaccurate name for this thing and WebRender consistently uses ClipScrollNode nowadays. Stick with the WebRender terminology to be consistent. |
||
|---|---|---|
| .. | ||
| mod.rs | ||