SizeBoxExtension extension

on

Properties

heightBox → Widget

Available on num, provided by the SizeBoxExtension extension

no setter
widthBox → Widget

Available on num, provided by the SizeBoxExtension extension

no setter