|
void RecordingPainter::paint_borders(DevicePixelRect const& border_rect, CornerRadii const& corner_radii, BordersDataDevicePixels const& borders_data)
|
|
void RecordingPainter::paint_borders(DevicePixelRect const& border_rect, CornerRadii const& corner_radii, BordersDataDevicePixels const& borders_data)
|
|
push_command(PaintBorders { border_rect, corner_radii, borders_data });
|
|
push_command(PaintBorders { border_rect, corner_radii, borders_data });
|