width property

double? width
getter/setter pair

The pixel width of the button.

API Docs: https://api.highcharts.com/highcharts/navigation.buttonOptions.width

Implementation

double? width;