mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
a0cff6a085
The border image outset support in WebRender is going to be removed and even in versions of WebRender where it still exists, it fails to render properly. A border image is a type of border composed of slices of images. The "outset" of this kind of border is a property in CSS that makes the border boundaries expand. Previously, the value was passed to WebRender which would expand the border by this amount and render the images into the expanded rectangle. Since this is going to be removed, we handle this property outside of WebRender. The change is simply to expand the border area by the outset before calculating the rest of the border values. This is necessary for the WebRender upgrade. |
||
|---|---|---|
| .. | ||
| background.rs | ||
| border.rs | ||
| builder.rs | ||
| conversions.rs | ||
| gradient.rs | ||
| items.rs | ||
| mod.rs | ||
| webrender_helpers.rs | ||