width property
The pixel width of charts exported to PNG or JPG. As of Highcharts 3.0, the default pixel width is a function of the chart.width or exporting.sourceWidth and the exporting.scale.
API Docs: https://api.highcharts.com/highcharts/exporting.width
Implementation
double? width;