mirror of
https://github.com/servo/servo.git
synced 2025-06-24 00:54:32 +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 |