sourceWidth property
The width of the original chart when exported, unless an explicit chart.width is set, or a pixel width is set on the container. The width exported raster image is then multiplied by scale.
API Docs: https://api.highcharts.com/highcharts/exporting.sourceWidth
Implementation
double? sourceWidth;