mirror of
https://github.com/servo/servo.git
synced 2025-07-14 10:53:42 +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 |