Message HrzProtocol.PaddingSymbolElement

Defined in hrz/protocol/vector/symbol_repr.proto.

Adds padding around the child element

child: HrzProtocol.SymbolElement

left_padding: HrzProtocol.FloatProperty

right_padding: HrzProtocol.FloatProperty

top_padding: HrzProtocol.FloatProperty

bottom_padding: HrzProtocol.FloatProperty