mirror of
https://github.com/servo/servo.git
synced 2025-06-20 07:08:59 +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 |