mirror of
https://github.com/divkit/divkit.git
synced 2026-06-06 20:07:59 +00:00
2f9c07f254
added border and background for ranges of text
15 lines
373 B
JSON
15 lines
373 B
JSON
{
|
|
"type": "object",
|
|
"$description": "translations.json#/div_text_range_border",
|
|
"properties": {
|
|
"stroke": {
|
|
"$ref": "div-stroke.json",
|
|
"$description": "translations.json#/div_border_stroke"
|
|
},
|
|
"corner_radius": {
|
|
"$ref": "common.json#/non_negative_integer",
|
|
"$description": "translations.json#/div_border_corner_radius"
|
|
}
|
|
}
|
|
}
|