mirror of
https://github.com/divkit/divkit.git
synced 2026-05-07 20:02:32 +00:00
man-y
32 lines
588 B
JSON
32 lines
588 B
JSON
{
|
|
"$description": "translations.json#/div_circle_shape",
|
|
"allOf": [
|
|
{
|
|
"$ref": "div-shape-base.json"
|
|
},
|
|
{
|
|
"type": "object",
|
|
"properties": {
|
|
"radius": {
|
|
"$ref": "div-fixed-size.json",
|
|
"default_value": "{\"type\":\"fixed\",\"value\":10}",
|
|
"$description": "translations.json#/div_circle_shape_radius"
|
|
},
|
|
"type": {
|
|
"type": "string",
|
|
"enum": [
|
|
"circle"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"platforms": [
|
|
"android",
|
|
"web"
|
|
],
|
|
"required": [
|
|
"type"
|
|
]
|
|
}
|