• gui:alignment
• gui:padding
• gui:proportion
• gui:enabled

 

gui:alignment [property:property] (optional.)

Alignment of this widget within its parent object. Must be one of the following values: "center", "fill" (fill all available space), "expand" (like fill, but expand proportionally according to the widget's original shape), "top" (for horizontal containers only), "bottom" (for horizontal containers only), "left" (for vertical containers only), or "right" (for vertical containers only). Default value is "center".

 

gui:padding [property:property] (optional.)

Empty space maintained around widget (on all sides). Default value is 0.

 

gui:proportion [property:property] (optional.)

Amount of space this widget should use, in relation to other widgets in the same container, along the layout direction of their container. For example, if all widgets in a container have a proportion of 1, they will all use the same amount of space. if one widget has a proportion of 2, and the others 1, the widget with a proportion of 2 will use twice as much space as each of the other widgets. The default is 1. TODO: allow percentages?

 

gui:enabled [property:property] (optional.)

If this property is "no", then this control should be disabled, or "greyed out."

this type defines no new messages.