| property_filter |
PropertyFilter |
|
| box |
DynamicDiscrete |
diagram_box.box |
| shape |
FixedDiscrete |
[Rectangle, Ellipse] |
| pos_x |
ExpressionCall |
{"default":0,"type":"number","$id":"./number_default_0"} |
| pos_y |
ExpressionCall |
{"default":0,"type":"number","$id":"./number_default_0"} |
| size_x |
ExpressionCall |
{"type":"number","$id":"./number"} |
| size_y |
ExpressionCall |
{"type":"number","$id":"./number"} |
| fill |
ExpressionCall |
{"default":"","type":"string","$id":"./string_default_empty"} |
| stroke |
ExpressionCall |
{"default":"","type":"string","$id":"./string_default_empty"} |